]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Importing CryptoMiniSat version 'Cluster56'.
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Jun 2010 17:56:12 +0000 (17:56 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Jun 2010 17:56:12 +0000 (17:56 +0000)
commit75f34888a5c43e0a7be5e036114fdd4ec5b0f34d
treea7c4d76c7f24dc4dd481f90398e399c29a903857
parentacdc5dd7650f220f360e1c5069cd8d74c9ceeb2b
Importing CryptoMiniSat version 'Cluster56'.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@812 e59a4935-1847-0410-ae03-e826735625c1
38 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/PartFinder.cpp
src/sat/cryptominisat2/PartHandler.cpp
src/sat/cryptominisat2/Solver.cpp
src/sat/cryptominisat2/Solver.h
src/sat/cryptominisat2/SolverTypes.h
src/sat/cryptominisat2/StateSaver.cpp [new file with mode: 0644]
src/sat/cryptominisat2/StateSaver.h [new file with mode: 0644]
src/sat/cryptominisat2/Subsumer.cpp
src/sat/cryptominisat2/Subsumer.h
src/sat/cryptominisat2/VarReplacer.cpp
src/sat/cryptominisat2/VarReplacer.h
src/sat/cryptominisat2/XorFinder.cpp
src/sat/cryptominisat2/XorSubsumer.cpp
src/sat/cryptominisat2/XorSubsumer.h
src/sat/cryptominisat2/constants.h