0.1.0 |
|
---|
#61 in #compiled
43KB
895 lines
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.