search

dreal / dreal2

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

Fix warnings reported by scan.coverity #25

Open soonhokong opened 10 years ago

soonhokong commented 10 years ago

Also need to make scan.coverity.com to re-point dreal/dreal.