projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: edd8886) | patch
Recognize when synthesis conjectures are in single invocation fragment.
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 27 Jan 2015 13:09:32 +0000 (14:09 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 27 Jan 2015 13:09:32 +0000 (14:09 +0100)
commitb2334221c88ba8ae6adbd27b0802aa2b02641378
treed2f908f9fba5c58c1a5a8db1902f43c8a50e916btree
parentedd8886e56c8bb84f3fd85fc6f697d870bc0a3b7commit | diff
Recognize when synthesis conjectures are in single invocation fragment.
src/theory/quantifiers/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.h diff | blob | history