dreal3
dreal3 copied to clipboard
Please allow the use of packages for all dependencies
Currently, you have USE_LOCAL_THIRD_PARTY
that uses local zip vs. the github copy.
There are packages available at least for adept, clp, catch, easyloggingpp, json, picosat.
The packages should be preferred.
Please add the cmake option USE_EXTERNAL_LIBRARIES
that would look for pre-installed packages.