diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-01-23 16:35:16 -0500 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-01-23 17:12:48 -0500 |
| commit | 1435948e241d3134d44662b9476935fe635b4166 (patch) | |
| tree | 21102cce34787e842d04e998a1ff3cdf4da25c81 /src/theory/arith/options | |
| parent | 9883548405f15ca8c18b7602092b186bc6934339 (diff) | |
Adding miplibtrick option.
Diffstat (limited to 'src/theory/arith/options')
| -rw-r--r-- | src/theory/arith/options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/arith/options b/src/theory/arith/options index 38cf07251..ab377c8a1 100644 --- a/src/theory/arith/options +++ b/src/theory/arith/options @@ -51,4 +51,8 @@ option arithRewriteEq --enable-arith-rewrite-equalities/--disable-arith-rewrite- turns on the preprocessing rewrite turning equalities into a conjunction of inequalities /turns off the preprocessing rewrite turning equalities into a conjunction of inequalities +option arithMLTrick --enable-miplib-trick/--disable-miplib-trick bool :default false :read-write + turns on the preprocessing step of attempting to infer bounds on miplib problems +/turns off the preprocessing step of attempting to infer bounds on miplib problems + endmodule |