]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Last commit was wrong. Importing again CryptoMiniSat-'Cluster56'
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Jun 2010 18:11:26 +0000 (18:11 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Jun 2010 18:11:26 +0000 (18:11 +0000)
commit5c4be04e77c9eb40331eaf0722bbd5c732cbedfc
tree398ef704c8c5bc65a5f2d80561a84672e4539f5c
parent75f34888a5c43e0a7be5e036114fdd4ec5b0f34d
Last commit was wrong. Importing again CryptoMiniSat-'Cluster56'

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@813 e59a4935-1847-0410-ae03-e826735625c1
24 files changed:
src/sat/cryptominisat2/BitArray.h
src/sat/cryptominisat2/BoundedQueue.h
src/sat/cryptominisat2/CSet.h
src/sat/cryptominisat2/Clause.cpp
src/sat/cryptominisat2/Clause.h
src/sat/cryptominisat2/ClauseCleaner.cpp
src/sat/cryptominisat2/ClauseCleaner.h
src/sat/cryptominisat2/Conglomerate.cpp
src/sat/cryptominisat2/Conglomerate.h
src/sat/cryptominisat2/DoublePackedRow.h
src/sat/cryptominisat2/FailedVarSearcher.cpp
src/sat/cryptominisat2/FailedVarSearcher.h
src/sat/cryptominisat2/FindUndef.cpp
src/sat/cryptominisat2/FindUndef.h
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/MersenneTwister.h
src/sat/cryptominisat2/constants.h