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

no precision output #204

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

In case of delta-sat, we added with delta = 0.00100000000000000 message in the commit b3ca0ae2c171257fdc1ec7b1f39254667de68f3a. We realize that it breaks backward compatibility (between dReal2 and dReal3). A plan is to add --no-precision-output to disable this message.