]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa5aac1) | patch
Integrate CryptoMiniSat 2.9.0.
authorFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Apr 2011 02:09:37 +0000 (03:09 +0100)
committerFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Apr 2011 02:09:37 +0000 (03:09 +0100)
commitadd1bd421f45f3fbb2d2f3189227f5b2ad2c43a1
treefe147be33ad8f9a1574228059a92341e08e51120tree | snapshot
parentfa5aac103ae21e8f3734520c266c0164c46d1c16commit | diff
Integrate CryptoMiniSat 2.9.0.
87 files changed:
scripts/Makefile.common diff | blob | history
src/sat/CryptoMinisat.cpp diff | blob | history
src/sat/CryptoMinisat.h diff | blob | history
src/sat/cryptominisat2/BitArray.h diff | blob | history
src/sat/cryptominisat2/BoundedQueue.h diff | blob | history
src/sat/cryptominisat2/CMakeLists.txt diff | blob | history
src/sat/cryptominisat2/CSet.h diff | blob | history
src/sat/cryptominisat2/Clause.h diff | blob | history
src/sat/cryptominisat2/ClauseAllocator.cpp diff | blob | history
src/sat/cryptominisat2/ClauseAllocator.h diff | blob | history
src/sat/cryptominisat2/ClauseCleaner.cpp diff | blob | history
src/sat/cryptominisat2/ClauseCleaner.h diff | blob | history
src/sat/cryptominisat2/ClauseOffset.h [new file with mode: 0644] blob
src/sat/cryptominisat2/ClauseVivifier.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/ClauseVivifier.h [new file with mode: 0644] blob
src/sat/cryptominisat2/CompleteDetachReattacher.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/CompleteDetachReattacher.h [new file with mode: 0644] blob
src/sat/cryptominisat2/DataSync.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/DataSync.h [new file with mode: 0644] blob
src/sat/cryptominisat2/DimacsParser.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/DimacsParser.h [new file with mode: 0644] blob
src/sat/cryptominisat2/FailedLitSearcher.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/FailedLitSearcher.h [new file with mode: 0644] blob
src/sat/cryptominisat2/FailedVarSearcher.cpp [deleted file] blob | history
src/sat/cryptominisat2/FailedVarSearcher.h [deleted file] blob | history
src/sat/cryptominisat2/FindUndef.cpp diff | blob | history
src/sat/cryptominisat2/FindUndef.h diff | blob | history
src/sat/cryptominisat2/Gaussian.cpp diff | blob | history
src/sat/cryptominisat2/Gaussian.h diff | blob | history
src/sat/cryptominisat2/GaussianConfig.h diff | blob | history
src/sat/cryptominisat2/Logger.cpp diff | blob | history
src/sat/cryptominisat2/Logger.h diff | blob | history
src/sat/cryptominisat2/MTRand/MersenneTwister.h diff | blob | history
src/sat/cryptominisat2/Main.cpp diff | blob | history
src/sat/cryptominisat2/Main.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Makefile diff | blob | history
src/sat/cryptominisat2/MatrixFinder.cpp diff | blob | history
src/sat/cryptominisat2/MatrixFinder.h diff | blob | history
src/sat/cryptominisat2/MersenneTwister.h [deleted file] blob | history
src/sat/cryptominisat2/OnlyNonLearntBins.cpp diff | blob | history
src/sat/cryptominisat2/OnlyNonLearntBins.h diff | blob | history
src/sat/cryptominisat2/PackedMatrix.h diff | blob | history
src/sat/cryptominisat2/PackedRow.cpp diff | blob | history
src/sat/cryptominisat2/PackedRow.h diff | blob | history
src/sat/cryptominisat2/PartFinder.cpp diff | blob | history
src/sat/cryptominisat2/PartFinder.h diff | blob | history
src/sat/cryptominisat2/PartHandler.cpp diff | blob | history
src/sat/cryptominisat2/PartHandler.h diff | blob | history
src/sat/cryptominisat2/PropBy.h [new file with mode: 0644] blob
src/sat/cryptominisat2/RestartTypeChooser.cpp diff | blob | history
src/sat/cryptominisat2/RestartTypeChooser.h diff | blob | history
src/sat/cryptominisat2/SCCFinder.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/SCCFinder.h [new file with mode: 0644] blob
src/sat/cryptominisat2/SharedData.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Solver.cpp diff | blob | history
src/sat/cryptominisat2/Solver.h diff | blob | history
src/sat/cryptominisat2/SolverConf.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/SolverConf.h [new file with mode: 0644] blob
src/sat/cryptominisat2/SolverDebug.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/SolverMisc.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/SolverTypes.h diff | blob | history
src/sat/cryptominisat2/StateSaver.cpp diff | blob | history
src/sat/cryptominisat2/StateSaver.h diff | blob | history
src/sat/cryptominisat2/StreamBuffer.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Subsumer.cpp diff | blob | history
src/sat/cryptominisat2/Subsumer.h diff | blob | history
src/sat/cryptominisat2/UselessBinRemover.cpp diff | blob | history
src/sat/cryptominisat2/UselessBinRemover.h diff | blob | history
src/sat/cryptominisat2/VERSION diff | blob | history
src/sat/cryptominisat2/VarReplacer.cpp diff | blob | history
src/sat/cryptominisat2/VarReplacer.h diff | blob | history
src/sat/cryptominisat2/Watched.h [new file with mode: 0644] blob
src/sat/cryptominisat2/XSet.h diff | blob | history
src/sat/cryptominisat2/XorFinder.cpp diff | blob | history
src/sat/cryptominisat2/XorFinder.h diff | blob | history
src/sat/cryptominisat2/XorSubsumer.cpp diff | blob | history
src/sat/cryptominisat2/XorSubsumer.h diff | blob | history
src/sat/cryptominisat2/constants.h diff | blob | history
src/sat/cryptominisat2/msvc/stdint.h diff | blob | history
src/sat/cryptominisat2/mtl/Alg.h diff | blob | history
src/sat/cryptominisat2/mtl/BasicHeap.h diff | blob | history
src/sat/cryptominisat2/mtl/BoxedVec.h diff | blob | history
src/sat/cryptominisat2/mtl/Heap.h diff | blob | history
src/sat/cryptominisat2/mtl/Map.h diff | blob | history
src/sat/cryptominisat2/mtl/Queue.h diff | blob | history
src/sat/cryptominisat2/mtl/Vec.h diff | blob | history
src/sat/cryptominisat2/time_mem.h diff | blob | history
STP Constraint Solver.