torch>=2.0.0
torch-geometric>=2.4.0
z3-solver>=4.12.0
numpy>=1.24.0

[dev]
fastapi>=0.104.0
uvicorn>=0.24.0
pydantic>=2.0.0
scikit-learn>=1.3.0
matplotlib>=3.7.0
pytest>=7.0.0

[server]
fastapi>=0.104.0
uvicorn>=0.24.0
pydantic>=2.0.0
