search

hiwane / ganrac

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

:bug: sdc #31

Closed hiwane closed 1 year ago

hiwane commented 1 year ago 
» qe(all([a,b], b<=0 || 12*b-a^2>0 || a!=0));
atomQE(12*b-a^2<=0, nec=true)
atomQE(b>0, nec=true)
false