search

dreal / dreal2

Please check dreal4 instead.
https://github.com/dreal/dreal4
GNU General Public License v3.0
13 stars 15 forks source link

Trivial conflicts in initial interval assignments #45

Closed scungao closed 10 years ago

scungao commented 10 years ago

wrong sat answers. just a reminder.

soonhokong commented 10 years ago

:smile: Sure.

soonhokong commented 10 years ago

Fixed. See an example https://github.com/dreal/dreal/commit/124cc800717cddb9c46759ae147a4ef672b81e42