fuzzingbook~=1.1
isla-solver~=1.10
islearn>=0.2.10
shap>=0.41
lightgbm>=3.3.2
z3-solver>=4.10.2.0
pandas~=1.4.4
numpy~=1.23.2
scikit-learn~=1.1.2

[dev]
pytest>=7.2.0
twine
black
