search

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

fix(opensmt/egraph/EgraphStore.C): do not constant-folding if the res… #319

Closed soonho-tri closed 8 years ago

soonho-tri commented 8 years ago

This change is Reviewable

soonho-tri commented 8 years ago

Close #315