z3-solver>=4.12

[dev]
pytest
hypothesis
z3-solver
anthropic

[llm]
anthropic>=0.20
