diff options
Diffstat (limited to 'src/theory/quantifiers/options')
-rw-r--r-- | src/theory/quantifiers/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/quantifiers/options b/src/theory/quantifiers/options index a9b7f269f..6bbcb2c3d 100644 --- a/src/theory/quantifiers/options +++ b/src/theory/quantifiers/options @@ -47,6 +47,9 @@ option aggressiveMiniscopeQuant --ag-miniscope-quant bool :default false # Whether to perform quantifier macro expansion option macrosQuant --macros-quant bool :default false perform quantifiers macro expansions +# Whether to perform first-order propagation +option foPropQuant --fo-prop-quant bool :default false + perform first-order propagation on quantifiers # Whether to use smart triggers option smartTriggers /--disable-smart-triggers bool :default true |