absl-py==2.1.0
astunparse==1.6.3
attrs==23.2.0
cachetools==5.3.3
certifi==2024.2.2
cffi==1.15.1
charset-normalizer==3.3.2
contourpy==1.2.1
cycler==0.12.1
dbus-python==1.2.18
flatbuffers==24.3.25
fonttools==4.51.0
gast==0.4.0
google-auth==2.29.0
google-auth-oauthlib==0.4.6
google-pasta==0.2.0
grpcio==1.62.2
gurobipy==11.0.0
h5py==3.11.0
idna==3.7
iniconfig==2.0.0
Jinja2==3.1.3
joblib==1.4.0
keras==2.10.0
Keras-Preprocessing==1.1.2
kiwisolver==1.4.5
larq==0.13.3
libclang==18.1.1
Markdown==3.6
MarkupSafe==2.1.5
matplotlib==3.8.4
mem_top==0.1.6
mip==1.15.0
numpy==1.24.3
oauthlib==3.2.2
opt-einsum==3.3.0
packaging==24.0
pandas==1.4.1
pillow==10.3.0
pluggy==1.5.0
protobuf==3.19.6
py==1.11.0
pyasn1==0.6.0
pyasn1_modules==0.4.0
pycarl @ git+https://github.com/moves-rwth/pycarl.git@af66206e15f0fe2ab120e818b62956eb56629290
pycddlib==2.1.7
pycparser==2.22
PyGObject==3.42.1
pyparsing==3.1.2
pytest==7.1.1
python-dateutil==2.9.0.post0
pytz==2024.1
requests==2.31.0
requests-oauthlib==2.0.0
rsa==4.9
scikit-learn==1.3.2
scipy==1.12.0
seaborn==0.11.2
six==1.16.0
stormpy @ git+https://github.com/moves-rwth/stormpy.git@80d2e9ce4bfcb197d4aa7e6f22101148e8fbc67c
tensorboard==2.10.1
tensorboard-data-server==0.6.1
tensorboard-plugin-wit==1.8.1
tensorflow==2.10.1
tensorflow-estimator==2.10.0
tensorflow-io-gcs-filesystem==0.36.0
termcolor==2.4.0
terminaltables==3.1.10
threadpoolctl==3.4.0
tomli==2.0.1
tqdm==4.66.1
transitions==0.8.11
typing_extensions==4.11.0
urllib3==2.2.1
Werkzeug==3.0.2
wrapt==1.16.0
