
[dev]
pytest>=7.0
pytest-cov

[z3]
z3-solver>=4.12
