finish migration to dreal/dreal - Githubissues

dreal / dreal2

Please check dreal4 instead.

https://github.com/dreal/dreal4

GNU General Public License v3.0

13 stars 15 forks source link

finish migration to dreal/dreal #18

Closed soonhokong closed 10 years ago

soonhokong commented 10 years ago

[x] travis-ci
[x] commit email notification via bitbucket
[x] cdash
[x] re-fork