
[dev]
pytest>=7.0.0
black>=23.0.0

[formal]
z3-solver>=4.12.0
