matplotlib~=3.5.1
numpy~=1.24.4
scipy~=1.8.0
stormpy