diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-14 12:25:07 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-14 12:25:14 +0100 |
commit | 83c0e6c14955e04b3dca56037508e4ceb6691f10 (patch) | |
tree | 3e242ad90f0e34d03888e78267a4afe59e8a4ce3 /src/theory/quantifiers/ambqi_builder.h | |
parent | f48855b3f7ebff4d6de916d6e433b3949afdbd1b (diff) |
Be lazier to consider EQC in UF+cardinality solver. Minor cleanup.
Diffstat (limited to 'src/theory/quantifiers/ambqi_builder.h')
0 files changed, 0 insertions, 0 deletions