]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Updating CryptoMiniSat2 to r656
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 16 Dec 2009 16:11:49 +0000 (16:11 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 16 Dec 2009 16:11:49 +0000 (16:11 +0000)
commitcf8ac7c9e79266c699d689646039f2092627123a
tree0ad884d99d1c9a11cdda1e21578d106e6b6917e7
parent87ecd8442f870bb2328abdd133bd9d7913428f8c
Updating CryptoMiniSat2 to r656

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@520 e59a4935-1847-0410-ae03-e826735625c1
25 files changed:
src/sat/cryptominisat2/Clause.h
src/sat/cryptominisat2/ClauseCleaner.cpp
src/sat/cryptominisat2/ClauseCleaner.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/PackedMatrix.h
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/VERSION
src/sat/cryptominisat2/VarReplacer.cpp
src/sat/cryptominisat2/VarReplacer.h
src/sat/cryptominisat2/XorFinder.cpp
src/sat/cryptominisat2/XorFinder.h
src/sat/cryptominisat2/constants.h
src/sat/cryptominisat2/mtl/Alg.h
src/sat/cryptominisat2/mtl/Heap.h
src/sat/cryptominisat2/mtl/Sort.h [deleted file]
src/sat/cryptominisat2/mtl/Vec.h