use smaller precision for CE generations for exist-forall problem - Githubissues

dreal / dreal3

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

use smaller precision for CE generations for exist-forall problem #293

Open soonho-tri opened 8 years ago

soonho-tri commented 8 years ago

also need to check the termination condition of inner loop