numpy>=1.24
scipy>=1.10

[dev]
pytest>=7

[verify]
z3-solver>=4.12
