momba-explore 0.1.0

State space exploration engine for PTAs and MDPs augmented with variables.
Documentation

Momba Explore

crate documentation