projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 365d602) | patch
Update to new implementation of single invocation partition by default.
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 26 Nov 2015 16:08:45 +0000 (17:08 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 26 Nov 2015 16:08:45 +0000 (17:08 +0100)
commit670cc5fccd6e98e88c9eeedfede07d053faad26e
tree12017fc9f237a1bfc2bc411fd030ef92b6068c54tree
parent365d6022b5742fc6910363e04e873b26e221bb05commit | diff
Update to new implementation of single invocation partition by default.
src/theory/quantifiers/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.h diff | blob | history