sympy>=1.12
z3-solver>=4.12.2
pydantic>=2.0
mcp[cli]>=1.0.0

[dev]
pytest>=7.4
pytest-cov>=4.1
pytest-asyncio>=0.23
black>=23.7
flake8>=6.0
mypy>=1.4
isort>=5.12

[full]
ortools>=9.7.2996
litellm>=1.26.0
redis>=5.0.0
lark>=1.1
