numpy>=1.20
cryptography>=40.0

[dev]
pytest
mypy
ruff
build
twine
mkdocs
mkdocs-material

[formal]
z3-solver>=4.12

[gpus]
torch
cupy-cuda11x
