| Ubuntu | OS X | Coverage | Builds/UnitTests | Coverity Scan |
|---|---|---|---|---|
 |
 |
 |
 |
 |
dReal: An SMT Solver for Nonlinear Theories of the Reals
Please visit http://dreal.github.io for more information.
Please check out our releases page to download latest static binaries.
In most cases, running ./build.sh in the top dReal directory should suffice. If not, see below.
- Ubuntu 12.04 LTS (using g++-4.9)
- Ubuntu 12.04 LTS (using clang++-3.8)
- OS X 10.9/10.8 (using g++-4.9)
- C++11-compatible compiler (g++(>=4.8), clang++(>=3.3))
- autoconf, automake, bison, cmake, flex, git, libtool, make, pkg-config
- ocaml (>=4.01.0), opam, ocaml-findlib, ocaml-batteries (>=2.0)