Skip to content
forked from dreal/dreal3

New version of the dReal solver. More info at

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

jadecastro/dreal3

 
 

Repository files navigation

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

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

Required Packages

Documentations

About

New version of the dReal solver. More info at

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++ 3.5%
  • C 3.2%
  • Python 1.2%
  • Shell 0.6%
  • CMake 0.4%
  • Other 0.3%