diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-10-09 11:58:30 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-10-09 11:58:30 +0200 |
| commit | ed5052c7672bd59f8a8ef28d980d56a4f036f97d (patch) | |
| tree | 4dc71d165b171915ceee94fbf42ff470c9eb78d8 /src/theory/quantifiers/quantifiers_attributes.cpp | |
| parent | f6f4c8ca3aa9b426d72b89cb9fd37110a2a59702 (diff) | |
Refactor quantifier prenex option. By default, do not pull quantifiers with user patterns.
Diffstat (limited to 'src/theory/quantifiers/quantifiers_attributes.cpp')
0 files changed, 0 insertions, 0 deletions