momba-explore 0.1.1

State space exploration engine for PTAs and MDPs augmented with variables.
Documentation 
1
2
3
4

# Momba Explore

[![crate](https://img.shields.io/crates/v/momba-explore.svg)](https://crates.io/crates/momba-explore)
[![documentation](https://docs.rs/momba-explore/badge.svg)](https://docs.rs/momba-explore)