z3-solver>=4.12.0
pydantic>=2.0.0

[dev]
pytest>=7.0.0
pytest-cov>=4.0.0

[server]
flask>=3.0.0
gunicorn>=21.0.0
