diff options
Diffstat (limited to 'src/options/quantifiers_options')
-rw-r--r-- | src/options/quantifiers_options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options/quantifiers_options b/src/options/quantifiers_options index cb4f292c1..9f8f088de 100644 --- a/src/options/quantifiers_options +++ b/src/options/quantifiers_options @@ -306,6 +306,9 @@ option cbqiLitDepend --cbqi-lit-dep bool :default false option cbqiInnermost --cbqi-innermost bool :default false only process innermost quantified formulas in counterexample-based quantifier instantiation +option quantEpr --quant-epr bool :default false + infer whether in effectively propositional fragment, use for cbqi + ### local theory extensions options option localTheoryExt --local-t-ext bool :default false |