numpy>=1.22
wlearn<0.4,>=0.3.0

[all]
polygrad==0.6.0
z3-solver<4.15.4

[polygrad]
polygrad==0.6.0

[verify]
z3-solver<4.15.4
