projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c460aa) | patch
Some fixes for the miplib preprocessing pass.
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 4 Feb 2013 21:01:17 +0000 (16:01 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 4 Feb 2013 21:37:04 +0000 (16:37 -0500)
commit9c0b2f6abd82564df0686cca826015f4eb9095fa
tree8fba8acbecdd08ee82d943bd3ded7148f29f035ftree
parent2c460aacc9b3d52e4c6423fa54a8437b5be5c04bcommit | diff
Some fixes for the miplib preprocessing pass.

* TNode violation bug fix (thanks to Tim King for discovery & fix)
* change Boolean miplib-trick substitution option into a threshold
* ppAssert() the generated miplib constraints to arithmetic
src/smt/smt_engine.cpp diff | blob | history
src/theory/arith/options diff | blob | history