momba-vm

用于 Momba的编译模型表示（MombaCR）的虚拟机。 Momba 是一个Python框架，用于处理以 JANI模型 交换格式为中心的量化模型。为了有效地进行状态空间探索，Momba将JANI模型编译成MombaCR，然后在MombaCR虚拟机中执行。该库实现了这样的MombaCR虚拟机。