projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0689850) | patch
reverting back the minisat code and adding a simpler one that shouldn't change the...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 14 Apr 2011 20:57:28 +0000 (20:57 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 14 Apr 2011 20:57:28 +0000 (20:57 +0000)
commit225f4e77f3afdebdfa046834ef7c006b9b8ec77c
treeafe48eb5718971953627edb64a44af2313e0f80etree
parent068985035a64d556cbfc2e46af44566c01e0a5e0commit | diff
reverting back the minisat code and adding a simpler one that shouldn't change the search
src/prop/minisat/core/Solver.cc diff | blob | history
src/prop/minisat/core/Solver.h diff | blob | history
src/prop/minisat/simp/SimpSolver.cc diff | blob | history