diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-05-08 02:18:54 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-05-08 02:19:10 -0500 |
| commit | 2ca4e063ca007851ebf73ccb2ac6b7c85e73133d (patch) | |
| tree | eb2c18c8cf202c4c05b61f1a1b87cf06c3215b45 /src/theory/quantifiers/quantifiers_rewriter.h | |
| parent | fdbc8e0582dfe1addb229d406201a2ec1d513959 (diff) | |
Basic optimizations for ambqi : only normalize UF applied to variables, direct handling of NOT
Diffstat (limited to 'src/theory/quantifiers/quantifiers_rewriter.h')
0 files changed, 0 insertions, 0 deletions