Encoding Reduction and fix to delta convergence code

dreal / dreal2

Please check dreal4 instead.

https://github.com/dreal/dreal4

GNU General Public License v3.0

13 stars 15 forks source link

Closed danbryce closed 10 years ago

danbryce commented 10 years ago

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

danbryce commented 10 years ago

Now passing tests