projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 752b00b) | patch
Fixin the bug Clark found. In final check, enqueued propagations were not discharged.
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 8 Mar 2012 18:54:02 +0000 (18:54 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 8 Mar 2012 18:54:02 +0000 (18:54 +0000)
commit84b8611466e01c6894ec5645cd805e849d70d423
tree89011396c66663abe1f78fef1735387277ed54d1tree
parent752b00bc94385fd4b54becb072fca3814f34fd4ccommit | diff
Fixin the bug Clark found. In final check, enqueued propagations were not discharged.
src/prop/minisat/core/Solver.cc diff | blob | history