cryptography>=41

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

[docs]
sphinx>=7.2
furo>=2024.8.6

[test]
pytest<9.3
pytest-asyncio
pytest-bdd<10,>=9.0.1
pytest-cov
hypothesis
mypy
ruff
