dreal/dreal — pull request #23 by danbryce (2014-04-28 18:54:07+00:00)
Title: Added --short_sat flag to stop minisat when all clauses are sat

Copy of pull request for old dreal blessed.