momba-vm

A VM for Momba's compiled model representation (MombaCR). Momba is a Python framework for dealing with quantitative models centered around the JANI-model interchange format. For efficient state space exploration, Momba compiles JANI models into MombaCR which is then executed within a MombaCR VM. This library implements such a MombaCR VM.