Momba Explore

lib.rs:

PTA和MDP变量增强的状态空间探索引擎。

此crate提供了高效探索概率时序自动机（PTA）和马尔可夫决策过程（MDP）变量增强的状态空间所需的功能。

Momba Explore使用其自己的模块中定义的模型表示，利用Serde。因此，模型可以从Serde支持的任何格式加载。可以使用Momba将JANI模型加载。