# Storm libraries
stormpy==1.12.0
numpy==2.2.6
# Jupyter extensions
jupyterlab-spellchecker

