fastapi>=0.110
uvicorn[standard]>=0.29

[dev]
melvin-verifier[test,z3]
build>=1.0
twine>=5.0

[test]
pytest>=7.0
pytest-cov>=4.0
httpx>=0.27

[z3]
z3-solver<5,>=4.11
