z3-solver>=4.13

[dev]
pytest>=8
