]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Updating CMS2 to r681, fixing multiple bugs, and adding some polish
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 22 Dec 2009 18:41:33 +0000 (18:41 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 22 Dec 2009 18:41:33 +0000 (18:41 +0000)
commit29a288b6840a519c5f2e4569dd0885cb475e257a
tree62881c85060e96e31c8b879e09fb29c97f2831fa
parentcf8ac7c9e79266c699d689646039f2092627123a
Updating CMS2 to r681, fixing multiple bugs, and adding some polish

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@539 e59a4935-1847-0410-ae03-e826735625c1
17 files changed:
src/sat/cryptominisat2/Conglomerate.cpp
src/sat/cryptominisat2/FindUndef.cpp
src/sat/cryptominisat2/Gaussian.cpp
src/sat/cryptominisat2/Gaussian.h
src/sat/cryptominisat2/Logger.cpp
src/sat/cryptominisat2/Logger.h
src/sat/cryptominisat2/MatrixFinder.cpp
src/sat/cryptominisat2/PackedRow.cpp
src/sat/cryptominisat2/PackedRow.h
src/sat/cryptominisat2/RestartTypeChooser.cpp
src/sat/cryptominisat2/Solver.cpp
src/sat/cryptominisat2/Solver.h
src/sat/cryptominisat2/SolverTypes.h
src/sat/cryptominisat2/VERSION
src/sat/cryptominisat2/VarReplacer.cpp
src/sat/cryptominisat2/XorFinder.cpp
src/sat/cryptominisat2/mtl/Heap.h