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/util/sort_inference.cpp | |
| 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/util/sort_inference.cpp')
0 files changed, 0 insertions, 0 deletions