Skip to content

dzufferey/dreal3

 
 

Repository files navigation

Ubuntu OS X Coverage Builds/UnitTests Coverity Scan
Coverage Status 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

New implementation

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

  • SMT 90.8%
  • C 2.9%
  • C++ 2.7%
  • OCaml 1.3%
  • Python 0.9%
  • HTML 0.5%
  • Other 0.9%
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy