Skip to content

Latest commit

 

History

History
43 lines (30 loc) · 1016 Bytes

README.md

File metadata and controls

43 lines (30 loc) · 1016 Bytes

Build Status

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