Forked dreal sample project to test improvements from reducing initial box size. (Project for CSE291)

Setup

You need to install dReal4 in your system. We also rely on pkg-config.

macOS 10.14 / 10.13 / 10.12

We use homebrew.

brew install dreal/dreal/dreal

Ubuntu 18.04 / 16.04

curl -s https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/$(lsb_release -r -s)/install.sh | sudo bash

CMake Build

Run 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