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

Check Ubuntu Installation #329

Closed soonho-tri closed 7 years ago

soonho-tri commented 7 years ago

Checked. But we still need to pass dependent libraries in the cmd-line to build:

g++ -std=c++11 -I/usr/include/dreal sudoku.cc -L/usr/lib/dreal -ldreal -libex -lnlopt -lcapd -lglpk -lprim -lClp -lCoinUtils -pthread