z3-solver

[anthropic]
anthropic>=0.30

[openai]
openai>=1.0
