projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ab14e1) | patch
fixing bug 790: track dependencies when the unsatCores() option is on
authorguykatzz <katz911@gmail.com>
Thu, 4 May 2017 18:24:41 +0000 (11:24 -0700)
committerguykatzz <katz911@gmail.com>
Thu, 4 May 2017 18:24:41 +0000 (11:24 -0700)
commit2a3df5f6297e9a95abb9ba093f21e70eec3773b8
tree565d34d46fd645486007c6791f15572c1a3fcb8btree
parent5ab14e1abdff2cd4e75b3b698dc3d65fb07be3c1commit | diff
fixing bug 790: track dependencies when the unsatCores() option is on
src/smt/smt_engine.cpp diff | blob | history