search

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4
GNU General Public License v3.0
48 stars 36 forks source link

add Adept as an external project #287

Closed soonho-tri closed 8 years ago

soonho-tri commented 8 years ago

https://github.com/rjhogan/Adept

soonho-tri commented 8 years ago

forked to https://github.com/dreal-deps/Adept

soonho-tri commented 8 years ago

Closed by https://github.com/dreal/dreal3/commit/56e5c2b97d821bc06fa04a2c78c44c54c2cacf02