crates

Momba Engine Crates 📦

A collection of individually useful Rust crates developed for Momba.

• 📦 clock-zones is a crate for handling clock zones representing sets of clock constraints.
• 📦 momba-explore provides a state space exploration engine for MDPs and PTAs.
• 📦 momba-sidekick is a command line tool directly exposing some model related functionality.

The Python package momba_engine provides Python bindings to these crates exposed as part of Momba's API. There is no need to use these crates directly except if you would like to use them to develop your own tools in Rust.