diff options
Diffstat (limited to 'src/theory/quantifiers/options')
-rw-r--r-- | src/theory/quantifiers/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/options b/src/theory/quantifiers/options index 8962104e1..2041a91b8 100644 --- a/src/theory/quantifiers/options +++ b/src/theory/quantifiers/options @@ -117,7 +117,7 @@ option fmfBoundInt --fmf-bound-int bool :default false :read-write option axiomInstMode --axiom-inst=MODE CVC4::theory::quantifiers::AxiomInstMode :default CVC4::theory::quantifiers::AXIOM_INST_MODE_DEFAULT :include "theory/quantifiers/modes.h" :handler CVC4::theory::quantifiers::stringToAxiomInstMode :handler-include "theory/quantifiers/options_handlers.h" policy for instantiating axioms -option quantConflictFind --quant-cf bool :default false +option quantConflictFind --quant-cf bool :read-write :default false enable conflict find mechanism for quantifiers option qcfMode --quant-cf-mode=MODE CVC4::theory::quantifiers::QcfMode :default CVC4::theory::quantifiers::QCF_CONFLICT_ONLY :include "theory/quantifiers/modes.h" :handler CVC4::theory::quantifiers::stringToQcfMode :handler-include "theory/quantifiers/options_handlers.h" what effort to apply conflict find mechanism |