diff options
Diffstat (limited to 'src/theory/quantifiers/options')
| -rw-r--r-- | src/theory/quantifiers/options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/quantifiers/options b/src/theory/quantifiers/options index 0f9d0f295..1e6f04162 100644 --- a/src/theory/quantifiers/options +++ b/src/theory/quantifiers/options @@ -99,6 +99,8 @@ option fmfFullModelCheckSimple /--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 fmfFmcInterval --fmf-fmc-interval bool :default false + construct interval models for fmc models option fmfOneInstPerRound --fmf-one-inst-per-round bool :default false only add one instantiation per quantifier per round for fmf |