Ubuntu | OS X | Coverage | Builds/UnitTests | Coverity Scan |
---|---|---|---|---|
![]() |
dReal: An SMT Solver for Nonlinear Theories of the Reals
Please visit http://dreal.cs.cmu.edu 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.