diff options
author | Tim King <taking@cs.nyu.edu> | 2011-03-16 22:08:15 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-03-16 22:08:15 +0000 |
commit | 84146b42ed0e1c0298b0e2a894c33f357a4483ef (patch) | |
tree | f315bb9b45f2baed00d6ee8fdd58a8fbd69f3269 /src/util/options.h | |
parent | ecff741b43b7c5493a7e1ef801cbe7ff68f8ff54 (diff) |
- Turns on the excluded middle assertions during the miplibTrick. If it is known that x \in {c_i}, then x is not in the interval (c_{i}, c_{i+1}) (assuming the c_i's are sorted). (Compare jobs 1742 and 1739 for the expected performance change on trunk. Compare jobs 1740 and 1738 for the expected performance change with the rewrite-equality patch.)
Diffstat (limited to 'src/util/options.h')
0 files changed, 0 insertions, 0 deletions