diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-04-28 07:01:05 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-04-28 07:01:12 -0500 |
| commit | b9332c2897a354cb2f7275a67cb949770b558d25 (patch) | |
| tree | 06a0eb1f5e9427d347ecc93aa38cfede870c6f4f /src/options | |
| parent | 7d0e58cf61bdb5d867006b6db90ec956f0968d97 (diff) | |
More work on inst propagate. Optimization for qcf to check instances eagerly. Improvements to equality query for disequalities.
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/quantifiers_options | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/options/quantifiers_options b/src/options/quantifiers_options index 74b3011a6..f69a8df8b 100644 --- a/src/options/quantifiers_options +++ b/src/options/quantifiers_options @@ -175,9 +175,12 @@ option qcfAllConflict --qcf-all-conflict bool :read-write :default false option instNoEntail --inst-no-entail bool :read-write :default true do not consider instances of quantified formulas that are currently entailed -option instPropagate --inst-propagate bool :read-write :default false +option instPropagate --inst-prop bool :read-write :default false internal propagation for instantiations for selecting relevant instances +option qcfEagerTest --qcf-eager-test bool :default true + optimization, test qcf instances eagerly + ### rewrite rules options option quantRewriteRules --rewrite-rules bool :default false |