search

hiwane / ganrac

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

simplFof #18

Closed hiwane closed 1 year ago

hiwane commented 1 year ago 
simplFof(a*x^2-5*x+1==0 && x!=0, a==0, falseObj)

expect: -5*x+1==0 && x != 0 actual: まま