projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6b097f) | patch
More work on --cegqi-si-partial, incomplete.
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 1 Dec 2015 14:02:08 +0000 (15:02 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 1 Dec 2015 14:02:08 +0000 (15:02 +0100)
commit201ae337e8e1531d1ae68a0ae536e34850edecd3
tree0f4a511cd12beaf3865c1d3ea6aa45ffcf73abbftree
parente6b097f5f43405951561994009e8d7e6ed8772f4commit | diff
More work on --cegqi-si-partial, incomplete.
src/Makefile.am diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.h diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.h diff | blob | history
src/theory/quantifiers/ce_guided_single_inv_ei.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ce_guided_single_inv_ei.h [new file with mode: 0644] blob