scungao / dreal3

New version of the dReal solver. More info at

Ubuntu	OS X	Coverage	Builds/UnitTests	Coverity Scan

dReal is an automated reasoning tool. Please visit http://dreal.github.io for more information.

Install

Please check the releases page to download latest static binaries.

Build from Source

• 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)

Required Packages

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

Documentations

• How to contribute to dReal
• Git commit message convention
• How to use ODE visualization
• How to use dReal in Windows using Docker