numpy>=1.22
wlearn<0.4,>=0.3.0

[all]
polygrad>=0.7.0
z3-solver<4.15.4

[polygrad]
polygrad>=0.7.0

[verify]
z3-solver<4.15.4
