An example bazel project to show you how to use dReal as a library in a bazel project.
Install the prerequsites to build dReal.
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