An interactive approach to probabilistic model checking
Take a look at the stormvogel documentation!
Install poetry. Install dependencies:
poetry install
poetry shell
pip install <path to stormpy> # TODO: Package stormpy nicely
pip install .
Run
pytest
Install pre-commit hook:
pre-commit install