pydantic>=2.7
z3-solver>=4.13

[dev]
build>=1.2
mypy>=1.10
pytest>=8.2
ruff>=0.11
