diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-03 16:05:37 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-03 16:15:14 -0500 |
| commit | 72cae59d28aa43b734148090feb3b8cf4ecd2074 (patch) | |
| tree | 0a35cb1c706abfb5d6f37694779bbf895fd6b4d3 /src/theory/arith/options | |
| parent | c7892fd17983a27d06b56c47f8125d50c691451c (diff) | |
Some cleanup of miplib regressions and options
Diffstat (limited to 'src/theory/arith/options')
| -rw-r--r-- | src/theory/arith/options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/options b/src/theory/arith/options index 2a745a608..e12120f33 100644 --- a/src/theory/arith/options +++ b/src/theory/arith/options @@ -51,11 +51,11 @@ 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 miplib-trick --enable-miplib-trick/--disable-miplib-trick bool :default true +option arithMLTrick miplib-trick --enable-miplib-trick/--disable-miplib-trick bool :default false 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 -option arithMLTrickSubstitutions miplib-trick-subs --miplib-trick-subs :default true +option arithMLTrickSubstitutions miplib-trick-subs --miplib-trick-subs bool :default true does top-level substitution for miplib 'tmp' vars option doCutAllBounded --enable-cut-all-bounded/--disable-cut-all-bounded bool :default false :read-write |