projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8fb7c71) | patch
fix for bug 254, lemmas were propagating at lower levels, and the conflict clauses...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 15 Mar 2011 20:48:57 +0000 (20:48 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 15 Mar 2011 20:48:57 +0000 (20:48 +0000)
commitd7554865a91733a39dd658e2003ca072e8e2ed4b
tree68b321e437318ab4cb0e85a9cf4fd164c639aaebtree
parent8fb7c711588cb070c1e4a1d076b47f9277bfc3fecommit | diff
fix for bug 254, lemmas were propagating at lower levels, and the conflict clauses asserting literal  would overwrite the propagated literal
let's see if i break the build again
src/prop/minisat/core/Solver.cc diff | blob | history