z3-solver>=4.12.0
pydantic>=2.0.0

[dev]
pytest>=7.0
pytest-cov>=4.0
hypothesis>=6.0
black>=23.0
ruff>=0.1.0
mypy>=1.0
