search

dreal / dreal2

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

no set_logic -> segfault #75

Open soonhokong opened 9 years ago

soonhokong commented 9 years ago

Reported by Douglas B. Staple doug@qracorp.com