diff options
Diffstat (limited to 'src/theory/quantifiers/options')
-rw-r--r-- | src/theory/quantifiers/options | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/quantifiers/options b/src/theory/quantifiers/options index 00d3cf234..8962104e1 100644 --- a/src/theory/quantifiers/options +++ b/src/theory/quantifiers/options @@ -103,8 +103,6 @@ option fmfOneQuantPerRound --mbqi-one-quant-per-round bool :default false option fmfInstEngine --fmf-inst-engine bool :default false use instantiation engine in conjunction with finite model finding -option fmfRelevantDomain --fmf-relevant-domain bool :default false - use relevant domain computation, similar to complete instantiation (Ge, deMoura 09) option fmfInstGen /--disable-fmf-inst-gen bool :default true disable Inst-Gen instantiation techniques for finite model finding option fmfInstGenOneQuantPerRound --fmf-inst-gen-one-quant-per-round bool :default false |