cryptography>=41.0

[analysis]
z3-solver>=4.12

[dev]
pytest>=7.0
pytest-cov>=4.0
black>=23.0
ruff>=0.1.0
mypy>=1.0

[docs]
sphinx>=5.0
sphinx-rtd-theme>=1.2

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