diff options
Diffstat (limited to 'src/theory/quantifiers/options')
-rw-r--r-- | src/theory/quantifiers/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/quantifiers/options b/src/theory/quantifiers/options index 10c538dd9..38db10feb 100644 --- a/src/theory/quantifiers/options +++ b/src/theory/quantifiers/options @@ -33,6 +33,9 @@ option simpleIteLiftQuant /--disable-ite-lift-quant bool :default true # Whether to CNF quantifier bodies option cnfQuant --cnf-quant bool :default false apply CNF conversion to quantified formulas +# Whether to NNF quantifier bodies +option nnfQuant --nnf-quant bool :default false + apply NNF conversion to quantified formulas option clauseSplit --clause-split bool :default false apply clause splitting to quantified formulas |