diff options
Diffstat (limited to 'src/theory/quantifiers/options')
-rw-r--r-- | src/theory/quantifiers/options | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/quantifiers/options b/src/theory/quantifiers/options index 1e6f04162..d44f2e770 100644 --- a/src/theory/quantifiers/options +++ b/src/theory/quantifiers/options @@ -95,10 +95,10 @@ option fmfModelBasedInst /--disable-fmf-mbqi bool :default true option fmfFullModelCheck --fmf-fmc bool :default false enable full model check for finite model finding -option fmfFullModelCheckSimple /--disable-fmf-fmc-simple bool :default true +option fmfFmcSimple /--disable-fmf-fmc-simple bool :default true disable simple models in full model check for finite model finding -option fmfFmcCoverSimplify --fmf-fmc-cover-simplify bool :default false - apply covering simplification technique to fmc models +option fmfFmcCoverSimplify /--disable-fmf-fmc-cover-simplify bool :default true + disable covering simplification of fmc models option fmfFmcInterval --fmf-fmc-interval bool :default false construct interval models for fmc models |