fastapi<1.0.0,>=0.141.1
pydantic<3.0.0,>=2.13.5
uvicorn<1.0.0,>=0.52.4
psycopg[binary]<4.0.0,>=3.3.5
redis<9.0.0,>=8.1.0
cryptography<51.0.0,>=50.0.1

[dev]
pytest>=9.1.1
black>=26.5.1
httpx<1.0.0,>=0.28.1

[formal]
z3-solver>=5.1.0.0
