cryptography>=41.0.0

[specs]
z3-solver>=4.12

[test]
pytest>=8.0.0
hypothesis>=6.0
