diff options
Diffstat (limited to 'src/options/quantifiers_options')
-rw-r--r-- | src/options/quantifiers_options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/options/quantifiers_options b/src/options/quantifiers_options index c92813bf4..c6dbe60c7 100644 --- a/src/options/quantifiers_options +++ b/src/options/quantifiers_options @@ -263,6 +263,8 @@ option cegqiSingleInvAbort --cegqi-si-abort bool :default false abort if synthesis conjecture is not single invocation option sygusPbe --sygus-pbe bool :default true sygus advanced pruning based on examples +option sygusQePreproc --sygus-qe-preproc bool :default false + use quantifier elimination as a preprocessing step for sygus option sygusMinGrammar --sygus-min-grammar bool :default true statically minimize sygus grammars |