
[dev]
pytest>=7.0
z3-solver>=4.12

[llm]
anthropic>=0.34.0

[smt]
z3-solver>=4.12
