requirements.txt 112 Bytes
Newer Older
Thom Badings's avatar
Thom Badings committed
1
2
3
4
5
6
# List of used packages
pandas==1.3.5
numpy==1.21.4
setuptools==58.0.4
tqdm==4.62.3
scipy==1.8.0
Thom Badings's avatar
Thom Badings committed
7
stormpy==1.6.4