z3-solver>=4.12
jsonschema>=4.0

[api]
fastapi>=0.110
uvicorn>=0.27

[dev]
pytest>=8.0
httpx>=0.27
fastapi>=0.110
uvicorn>=0.27
