soonhokong/dReal-old-blessed — pull request #6 by danbryce (2014-04-28 18:05:30+00:00)
Title: Added --short_sat flag to stop minisat when all clauses are sat

Works pretty well in cases where have difficult SAT component. I added the grid domain in benchmarks/planning to showcase this. The improvements in the benchmarks are mostly positive. There are some slowdowns in nra_ode that I think are attributed to the naive check for clause satisfiability.