momba-explore (cargo): State space exploration engine for PTAs and MDPs augmented with variables.
Keywords: formal-methods|jani-models|model-checker|models|momba|python|quantitative-models