fuzzingbook>=1.1
isla-solver
islearn
lightgbm>=3.3.2
z3-solver>=4.10.2.0
pandas
numpy
scikit-learn

[dev]
pytest>=7.2.0
twine
black
