search

hiwane / ganrac

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

:bug: sdc panic #32

Closed hiwane closed 1 year ago

hiwane commented 1 year ago 
F = qe(ex([x], a*x^3+b*x^2+c*x+d <= 0 && x >= 0));
panic: sdcSubst: p.Coef(x, 1) is not a positive number: -x