There is a new version of dReal, available at https://github.com/dreal/dreal4
GNU General Public License v3.0
48
stars
36
forks
source link
worklist-fp option gives UNSAT for nra_ode/water-triple-sat_1.smt2 which expect to be delta-SAT #196
Closed
soonhokong closed 9 years ago