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
build>=1.3.0
mkdocs>=1.6.0
mkdocs-material>=9.6.0
ruff>=0.13.0
mypy>=1.18.0
pre-commit>=4.3.0
pymdown-extensions>=10.0.0
pytest>=8.0.0
setuptools>=61.0
twine>=6.2.0
