dreal / dreal2

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

fix PPA #94

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

https://launchpad.net/~dreal/+archive/ubuntu/dreal