diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-04-01 11:26:57 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-04-01 19:43:06 -0400 |
| commit | 354ef7c75f886a315b985324c76a658efb1da11f (patch) | |
| tree | 81ece6ba8b15d2596bb0836fd99cc410911a0912 /src/theory/arith/options | |
| parent | 3740d285d939b85af47804871abbf545ddda01af (diff) | |
Adding a restart test strategy to integers.
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 efe594766..129175eaf 100644 --- a/src/theory/arith/options +++ b/src/theory/arith/options @@ -62,4 +62,7 @@ option doCutAllBounded --enable-cut-all-bounded/--disable-cut-all-bounded bool : turns on the integer solving step of periodically cutting all integer variables that have both upper and lower bounds /turns off the integer solving step of periodically cutting all integer variables that have both upper and lower bounds +option maxCutsInContext --maxCutsInContext unsigned :default 65535 + maximum cuts in a given context before signalling a restart + endmodule |