Skip to content
/ dreal Public
forked from dreal/dreal2

dReal: An SMT Solver for Nonlinear Theories of the Reals

License

GPL-3.0, GPL-2.0 licenses found

Licenses found

GPL-3.0
LICENSE
GPL-2.0
COPYING
Notifications You must be signed in to change notification settings

kquine/dreal

 
 

Repository files navigation

Ubuntu OS X Coverage Builds/UnitTests Coverity Scan
Coverity Scan Build Status

dReal: An SMT Solver for Nonlinear Theories of the Reals

Please visit http://dreal.cs.cmu.edu for more information.

Download

Please check out our releases page to download latest static binaries.

How to Build

In most cases, running ./build.sh in the top dReal directory should suffice. If not, see below.

Required Packages

Documentations

About

dReal: An SMT Solver for Nonlinear Theories of the Reals

Resources

License

GPL-3.0, GPL-2.0 licenses found

Licenses found

GPL-3.0
LICENSE
GPL-2.0
COPYING

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 44.4%
  • C 37.4%
  • Python 11.2%
  • Shell 2.9%
  • CMake 2.2%
  • LLVM 0.7%
  • Other 1.2%