soonhokong/dReal — pull request #3 by danbryce (2014-03-21 19:12:42+00:00)
Title: Delta Convergence test

This includes all work on testing delta, including benchmarks, tests, and new delta branch heuristic.