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 06d11f70f..6d333521b 100644 --- a/src/theory/quantifiers/options +++ b/src/theory/quantifiers/options @@ -94,7 +94,7 @@ option flipDecision --flip-decision/ bool :default false option internalReps /--disable-quant-internal-reps bool :default true disables instantiating with representatives chosen by quantifiers engine -option finiteModelFind --finite-model-find bool :default false :read-write +option finiteModelFind finite-model-find --finite-model-find bool :default false :read-write use finite model finding heuristic for quantifier instantiation option mbqiMode --mbqi=MODE CVC4::theory::quantifiers::MbqiMode :read-write :default CVC4::theory::quantifiers::MBQI_DEFAULT :include "theory/quantifiers/modes.h" :handler CVC4::theory::quantifiers::stringToMbqiMode :handler-include "theory/quantifiers/options_handlers.h" :predicate CVC4::theory::quantifiers::checkMbqiMode :predicate-include "theory/quantifiers/options_handlers.h" |