]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Updating cryptominsat2 to revision r483. Multiple performance bugs fixed, glucose...
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 30 Nov 2009 18:47:08 +0000 (18:47 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 30 Nov 2009 18:47:08 +0000 (18:47 +0000)
commit71410d2e246e7229a9aad8cc140a4136608d8a23
tree3c72285ce0fa7b7b3f18a9e77ca845a198971e1e
parent51ba5767288d10a0db6986aed7db0327df356d0f
Updating cryptominsat2 to revision r483. Multiple performance bugs fixed, glucose solver has been partially imported, and a memory leak has been fixed -- approx. 600 lines changed

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@432 e59a4935-1847-0410-ae03-e826735625c1
21 files changed:
src/sat/cryptominisat2/Clause.cpp [deleted file]
src/sat/cryptominisat2/Clause.h
src/sat/cryptominisat2/Conglomerate.cpp
src/sat/cryptominisat2/Gaussian.cpp
src/sat/cryptominisat2/Gaussian.h
src/sat/cryptominisat2/GaussianConfig.h
src/sat/cryptominisat2/Logger.cpp
src/sat/cryptominisat2/Logger.h
src/sat/cryptominisat2/Makefile
src/sat/cryptominisat2/MatrixFinder.cpp
src/sat/cryptominisat2/MatrixFinder.h
src/sat/cryptominisat2/PackedMatrix.h
src/sat/cryptominisat2/PackedRow.cpp
src/sat/cryptominisat2/PackedRow.h
src/sat/cryptominisat2/Solver.cpp
src/sat/cryptominisat2/Solver.h
src/sat/cryptominisat2/VERSION
src/sat/cryptominisat2/VarReplacer.cpp
src/sat/cryptominisat2/XorFinder.cpp
src/sat/cryptominisat2/XorFinder.h
src/sat/cryptominisat2/constants.h [new file with mode: 0644]