momba_explore/
lib.rs

1//! State space exploration engine for PTAs and MDPs augmented with variables.
2//!
3//! This crate provides the necessary functionality for efficiently exploring the
4//! state space of *Probabilistic Timed Automata* (PTAs) and *Markov Decision Processes*
5//! (MDPs) augmented with variables.
6//!
7//! *Momba Explore* uses its own model representation defined in the module [model][model]
8//! leveraging [Serde](https://serde.rs).
9//! Hence, models can be loaded from any format supported by Serde.
10//! [JANI models](https://jani-spec.org) can be loaded by first translating them using
11//! [Momba](https://github.com/koehlma/momba).
12
13mod explore;
14
15pub mod model;
16pub mod simulate;
17pub mod time;
18
19pub use explore::*;