projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 841b795) | patch
Add stats to quantifiers conflict find. Added option for qcf. Working on handling...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 10 Jan 2014 16:50:56 +0000 (10:50 -0600)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 10 Jan 2014 16:50:56 +0000 (10:50 -0600)
commit21f8e233e46fae32eaa6d2d4d5b4d0f36c36ba7f
tree610112b7b9f621466e478f29997a8fe2d5a62ccbtree
parent841b7951f41f399859afab13a81e04599308da61commit | diff
Add stats to quantifiers conflict find.  Added option for qcf.  Working on handling non-APPLY_UF terms.
src/theory/quantifiers/model_engine.cpp diff | blob | history
src/theory/quantifiers/model_engine.h diff | blob | history
src/theory/quantifiers/modes.h diff | blob | history
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers/options_handlers.h diff | blob | history
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.h diff | blob | history