
[smt]
z3-solver>=4.12

[test]
pytest>=7
