projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8deb9d9) | patch
Solutions for single invocation conjectures.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 2 Feb 2015 23:21:52 +0000 (00:21 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 2 Feb 2015 23:21:52 +0000 (00:21 +0100)
commitee0701f8c94b659594b033fa218b588a0d23acd7
treea5273420e4b31cac53f8236870d68120c28eb312tree
parent8deb9d980d7b0e281a0190539b756896a487c451commit | diff
Solutions for single invocation conjectures.
src/theory/quantifiers/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.h diff | blob | history