diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-05-03 13:15:26 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-05-03 13:15:26 -0400 |
| commit | 5100b3d2e8e870f85aaa753b25bd8e1fa2349e39 (patch) | |
| tree | fc7d1c6d01a6bb6872b77c13e81b5a673edde1a0 /src/theory/arith/options | |
| parent | cb09a647dc2524772e13946299f7b29ae627ae60 (diff) | |
| parent | d1783a6d2fa6c48418fcf6a28f84e321061c0507 (diff) | |
Merging branch 'soiquickexplain'.
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 1366addae..35cede8b4 100644 --- a/src/theory/arith/options +++ b/src/theory/arith/options @@ -97,4 +97,8 @@ option newProp --new-prop bool :default false :read-write option arithPropAsLemmaLength --arith-prop-clauses int :default 8 :read-write Rows shorter than this are propagated as clauses +option soiQuickExplain --soi-qe bool :default false :read-write + Use quick explain to minimize the sum of infeasibility conflicts. + + endmodule |