search

dreal / dreal2

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

static build #21

Closed soonhokong closed 10 years ago

soonhokong commented 10 years ago

close by 15604a4d49f6137dacdc86f8fe2487fb8e95b3a3.