z3-solver>=4.15.4

[ci]
anthropic>=0.30.0
openai>=1.0.0
pyyaml>=6.0

[dev]
pytest>=7.0
pytest-cov>=4.0
