projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a3df5f) | patch
skolemization manager may be called also when just unsatCores are on (related to...
authorguykatzz <katz911@gmail.com>
Thu, 4 May 2017 20:51:36 +0000 (13:51 -0700)
committerguykatzz <katz911@gmail.com>
Thu, 4 May 2017 20:51:36 +0000 (13:51 -0700)
commitb8d1e24fb00ca15dc523ec45d791473c1e5b8756
tree7f5533f40bbaed0a62ea44fcdddf9e0763954341tree
parent2a3df5f6297e9a95abb9ba093f21e70eec3773b8commit | diff
skolemization manager may be called also when just unsatCores are on (related to bug 717)
src/proof/proof_manager.cpp diff | blob | history