]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Merge current CryptoMiniSat head. cryptominisat master
authorFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Apr 2011 23:17:09 +0000 (00:17 +0100)
committerFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Apr 2011 23:21:10 +0000 (00:21 +0100)
commit44b09e2dc6b27935b1317cf0ec05ad099f793a24
tree03537a5efaad2aad90ba18103dc9c3ad536aed2c
parentd7a3d82429cedc668f500ed2e7e8145a894f88fc
Merge current CryptoMiniSat head.
53 files changed:
src/sat/cryptominisat2/BitArray.h
src/sat/cryptominisat2/BothCache.cpp [new file with mode: 0644]
src/sat/cryptominisat2/BothCache.h [new file with mode: 0644]
src/sat/cryptominisat2/CSet.h
src/sat/cryptominisat2/Clause.h
src/sat/cryptominisat2/ClauseAllocator.cpp
src/sat/cryptominisat2/ClauseCleaner.cpp
src/sat/cryptominisat2/ClauseVivifier.cpp
src/sat/cryptominisat2/ClauseVivifier.h
src/sat/cryptominisat2/CompleteDetachReattacher.cpp
src/sat/cryptominisat2/DataSync.cpp
src/sat/cryptominisat2/DataSync.h
src/sat/cryptominisat2/DimacsParser.cpp
src/sat/cryptominisat2/DimacsParser.h
src/sat/cryptominisat2/FailedLitSearcher.cpp
src/sat/cryptominisat2/FailedLitSearcher.h
src/sat/cryptominisat2/Gaussian.cpp
src/sat/cryptominisat2/Gaussian.h
src/sat/cryptominisat2/Logger.cpp
src/sat/cryptominisat2/Logger.h
src/sat/cryptominisat2/MTSolver.cpp [new file with mode: 0644]
src/sat/cryptominisat2/MTSolver.h [new file with mode: 0644]
src/sat/cryptominisat2/Main.cpp
src/sat/cryptominisat2/Main.h
src/sat/cryptominisat2/Makefile
src/sat/cryptominisat2/PartFinder.cpp
src/sat/cryptominisat2/PartFinder.h
src/sat/cryptominisat2/PartHandler.cpp
src/sat/cryptominisat2/PartHandler.h
src/sat/cryptominisat2/RestartTypeChooser.cpp
src/sat/cryptominisat2/RestartTypeChooser.h
src/sat/cryptominisat2/SCCFinder.cpp
src/sat/cryptominisat2/SCCFinder.h
src/sat/cryptominisat2/SharedData.h
src/sat/cryptominisat2/Solver.cpp
src/sat/cryptominisat2/Solver.h
src/sat/cryptominisat2/SolverConf.cpp
src/sat/cryptominisat2/SolverConf.h
src/sat/cryptominisat2/SolverDebug.cpp
src/sat/cryptominisat2/SolverMisc.cpp
src/sat/cryptominisat2/SolverTypes.h
src/sat/cryptominisat2/StateSaver.cpp
src/sat/cryptominisat2/Subsumer.cpp
src/sat/cryptominisat2/Subsumer.h
src/sat/cryptominisat2/TransCache.h [new file with mode: 0644]
src/sat/cryptominisat2/UselessBinRemover.cpp
src/sat/cryptominisat2/VERSION
src/sat/cryptominisat2/VarReplacer.cpp
src/sat/cryptominisat2/VarReplacer.h
src/sat/cryptominisat2/XorFinder.cpp
src/sat/cryptominisat2/XorSubsumer.cpp
src/sat/cryptominisat2/constants.h
src/sat/cryptominisat2/mtl/Vec.h