dreal/dreal — pull request #38 by danbryce (2014-05-19 18:33:45+00:00)
Title: Stable

BMC heuristic and test domains.