diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-04 16:01:17 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-04 16:37:04 -0500 |
commit | 9c0b2f6abd82564df0686cca826015f4eb9095fa (patch) | |
tree | 8fba8acbecdd08ee82d943bd3ded7148f29f035f /src/options/options_holder_template.h | |
parent | 2c460aacc9b3d52e4c6423fa54a8437b5be5c04b (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
Diffstat (limited to 'src/options/options_holder_template.h')
0 files changed, 0 insertions, 0 deletions