/dreal3

New NRA implementation

Primary LanguageSMTGNU General Public License v3.0GPL-3.0

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