diff options
Diffstat (limited to 'src/options/arith_options')
-rw-r--r-- | src/options/arith_options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/arith_options b/src/options/arith_options index 6f76758e3..6452aafb0 100644 --- a/src/options/arith_options +++ b/src/options/arith_options @@ -135,7 +135,7 @@ option replayRejectCutSize --replay-reject-cut unsigned :default 25500 maximum complexity of any coefficient while replaying cuts option lemmaRejectCutSize --replay-lemma-reject-cut unsigned :default 25500 - maximum complexity of any coefficient while outputing replaying cut lemmas + maximum complexity of any coefficient while outputting replaying cut lemmas option soiApproxMajorFailure --replay-soi-major-threshold double :default .01 threshold for a major tolerance failure by the approximate solver |