search

hiwane / ganrac

Go language version QE tool for Real Algebraic Constraints
MIT License
0 stars 0 forks source link

simpl #21

Closed hiwane closed 1 year ago

hiwane commented 1 year ago 
all([y,z], y*z^2<0 || (z<=0 || y*z>=0) && (y*z<=0 || z>=0))