momba-sidekick (cargo): A command line tool directly exposing some model related functionality.
Keywords: formal-methods|jani-models|model-checker|models|momba|python|quantitative-models