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
pre-commit>=3.0

[docs]
pdoc==16.0.0
sphinx>=5.0
sphinx-rtd-theme>=1.2
reportlab==4.5.0
pypdf==6.11.0
PyMuPDF==1.27.2.3

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