fastapi>=0.100.0
uvicorn>=0.23.0
httpx>=0.24.0
pyyaml>=6.0
scikit-learn>=1.3.0
z3-solver>=4.12.2
