projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42f2690) | patch
Initial draft of solution reconstruction into syntax for single inv cegqi.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 4 Feb 2015 21:16:45 +0000 (22:16 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 4 Feb 2015 21:16:45 +0000 (22:16 +0100)
commit7b72e4d1914ce92b8d3ef108756a94349f6510d2
tree6acb8e5e3475d50db7b318b447f83648034d24dftree
parent42f269065fbb9204627a2ce483b27d3bc6fd91f4commit | diff
Initial draft of solution reconstruction into syntax for single inv cegqi.
src/theory/quantifiers/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.h diff | blob | history