Ubuntu	OS X	Coverage	Builds / UnitTests
			Here

dReal: An SMT Solver for Nonlinear Theories of the Reals

Please visit dReal for more information.

Required Packages

• C++11-compatible compiler (g++-4.8, clang++-3.3)
• bison, flex, cmake
• automake, autoconf, make, libtool
• ocaml (>=4.0.0), opam, ocaml-findlib, ocaml-batteries (>=2.0)

Build Instructions

• Ubuntu 12.04 LTS (using g++-4.8)
• Ubuntu 12.04 LTS (using clang++-3.3)
• OS X 10.9/10.8 (using g++-4.8)