An example bazel project to show you how to use dReal as a library in a bazel project.

Setup

Install the prerequsites to build dReal.

Build Example Project

Following the above setup, please run the following to build and run the example project.

git clone https://github.com/dreal/dreal-bazel-example-project.git
cd dreal-bazel-example-project
bazel build //...
./bazel-bin/check_sat