Skip to content

Latest commit

 

History

History
76 lines (59 loc) · 2.9 KB

README.md

File metadata and controls

76 lines (59 loc) · 2.9 KB
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