diff options
author | Tim King <taking@cs.nyu.edu> | 2013-04-02 14:51:06 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2013-04-02 15:06:48 -0400 |
commit | de93aad21f843d54d02d0304343dffcb36dc2e09 (patch) | |
tree | 8a07584e422f95d1b0416d7fdaba24cef765d6bd /src/theory/arith/options | |
parent | 166bbd9c5716e646769cdc38aaeff3bd75de94f8 (diff) |
Making arithmetic model reversion on unsat checks an option.
Diffstat (limited to 'src/theory/arith/options')
-rw-r--r-- | src/theory/arith/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/arith/options b/src/theory/arith/options index 129175eaf..87278fa61 100644 --- a/src/theory/arith/options +++ b/src/theory/arith/options @@ -65,4 +65,7 @@ option doCutAllBounded --enable-cut-all-bounded/--disable-cut-all-bounded bool : option maxCutsInContext --maxCutsInContext unsigned :default 65535 maximum cuts in a given context before signalling a restart +option revertArithModels --revert-arith-models-on-unsat bool :default false + Revert the arithmetic model to a known safe model on unsat if one is cached + endmodule |