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

