An example cmake project to show you how to use the system-installed dReal as a library in a Cmake project.
You need to install dReal4 in your system. We also rely on pkg-config.
We use homebrew.
brew install pkg-config
brew install dreal/dreal/drealcurl -s https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/$(lsb_release -r -s)/install.sh | sudo bashRun the following to build and run the example project.
git clone https://github.com/dreal/dreal-cmake-example-project.git
cd dreal-cmake-example-project
mkdir build
cd build
cmake ../
make # Build
./check_sat # Execute