projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5efc0cd) | patch
Adding phase-caching to minisat.
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 4 Mar 2010 18:45:15 +0000 (18:45 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 4 Mar 2010 18:45:15 +0000 (18:45 +0000)
commit45b7c76aba6ac71726fb2bf46c45ad7ce6bc8c99
tree2b324f278e1078bbd9f15dd5b3471a302f8a5c27tree
parent5efc0cd28524a45b8fb25c4b1c0f8c42830fc3efcommit | diff
Adding phase-caching to minisat.
(A Lightweight Component Caching Scheme for Satisfiability Solvers <http://www.springerlink.com/content/y802q03263x84159/>)
src/prop/minisat/core/Solver.C diff | blob | history
src/prop/sat.h diff | blob | history