search

dreal / dreal2

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

Test IBEX-2.0 #22

Closed soonhokong closed 9 years ago

soonhokong commented 10 years ago

IBEX can possibly replace RealPaver. IBEX itself has LGPL license but it has a dependency on soplex - linear solver - which has its own academic license... Can we just use the ICP part of IBEX?

soonhokong commented 9 years ago

https://github.com/dreal/dreal_nra