z3-solver>=4.15.0
openai>=2.0.0
scikit-learn>=1.7.0
numpy>=2.3.0
python-dotenv>=1.0.0

[dev]
black>=25.9.0
ruff>=0.13.0
mypy>=1.18.0
pre-commit>=4.3.0
pytest>=8.0.0
