dreal/dreal — pull request #41 by danbryce (2014-06-10 14:40:33+00:00)
Title: Encoding Reduction and fix to delta convergence code

This includes two major improvements:

- Reducing SMT encoding using the BMC heuristic
- Testing rp_operators and selectively applying only if effecting literals that have not satisfied the delta bound