Skip to content
forked from patere/dReal

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

danbryce/dReal-backup

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

dReal: An SMT Solver for Nonlinear Theories of the Reals

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

How to Build

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

Releases

No releases published

Packages

No packages published

Languages

  • C++ 77.2%
  • C 12.9%
  • Python 7.9%
  • Shell 1.0%
  • MATLAB 0.5%
  • Gnuplot 0.4%
  • Other 0.1%