diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-16 12:44:11 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-16 12:44:11 +0200 |
commit | 7c798a5a2085754b26a0720d162b2ee45a705c4e (patch) | |
tree | 1d9d8614b69389b11eb0737989f4db2299e59269 /src/theory/quantifiers/quant_conflict_find.cpp | |
parent | a582fa3ea1de3b6419797bbebdcb415ff4d0c0d0 (diff) |
More optimizations to --macros-quant, add --macros-quant-mode=ground-uf. Cleanup varContains caches in term db. Fix bug related to macros in non-tracing builds.
Diffstat (limited to 'src/theory/quantifiers/quant_conflict_find.cpp')
0 files changed, 0 insertions, 0 deletions