diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-09-16 19:06:05 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-09-16 19:06:16 -0500 |
| commit | 349c84b95cea084f28ff637c7cd4e99710692aeb (patch) | |
| tree | 64f4b2da4c3f14a82da30a08152fc82f83dfb5a7 /src/options | |
| parent | 976ee5b66b7584b9fe46eab1facf5e5f857e723f (diff) | |
Use matching heuristics for EPR instantiation.
Diffstat (limited to 'src/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 9e704691a..3fc589b5c 100644 --- a/src/options/quantifiers_options +++ b/src/options/quantifiers_options @@ -304,6 +304,8 @@ option cbqiNestedQE --cbqi-nested-qe bool :default false option quantEpr --quant-epr bool :default false :read-write infer whether in effectively propositional fragment, use for cbqi +option quantEprMatching --quant-epr-match bool :default true + use matching heuristics for EPR instantiation ### local theory extensions options |