cryptography>=41

[analysis]
z3-solver<5,>=4.13

[docs]
sphinx>=7.2
furo>=2024.8.6

[test]
pytest
pytest-asyncio
pytest-bdd<9,>=8.1
pytest-cov
hypothesis
mypy
ruff
