fastapi
uvicorn
pydantic>=2.0
numpy
numba
sqlalchemy
httpx
z3-solver
pytest-asyncio
