dreal3
dreal3 copied to clipboard
dreal
There is a new version of dReal, available at https://github.com/dreal/dreal4
``` var: forall [-0.00001,0.00001] x1; forall [-0.001,0.002] x2; forall [-0.002,0.002] x3; forall [-0.002,0.002] x4; forall [0.00001,0.00004] s; forall [0, 1] x1s; forall [0, 1] x2s; forall [0, 1] x3s; forall...
should be useful for `E^L A` problems
- [ ] need to write `Find.cmake` for each dep - Current deps: adept, easyloggingpp, ezoptionparser, ibex, json, nlopt, picosat, glpk, capd4
Hi, I have recently moved to dReal from z3 due to its obvious advantage dealing with non-linear theories. However, for some of the problems I have been working on, I...
- also need to check the termination condition of inner loop