git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

author	msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
	Fri, 2 Jul 2010 14:35:28 +0000 (14:35 +0000)
committer	msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
	Fri, 2 Jul 2010 14:35:28 +0000 (14:35 +0000)
commit	ccec2c7806cddbdd3c8b729e84bc409fdabd2ab5
tree	8ea7e5c2428440662ad78dabefd349c9673c5ac4	tree \| snapshot
parent	b01fa25f8122ff646f719407ef1878d16d36024f	commit \| diff

Updating CryptoMiniSat2

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@907 e59a4935-1847-0410-ae03-e826735625c1

37 files changed:

src/sat/cryptominisat2/CSet.h		diff \| blob \| history
src/sat/cryptominisat2/Clause.h		diff \| blob \| history
src/sat/cryptominisat2/ClauseAllocator.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/ClauseAllocator.h	[new file with mode: 0644]	blob
src/sat/cryptominisat2/ClauseCleaner.cpp		diff \| blob \| history
src/sat/cryptominisat2/Conglomerate.cpp	[deleted file]	blob \| history
src/sat/cryptominisat2/Conglomerate.h	[deleted file]	blob \| history
src/sat/cryptominisat2/FailedVarSearcher.cpp		diff \| blob \| history
src/sat/cryptominisat2/FailedVarSearcher.h		diff \| blob \| history
src/sat/cryptominisat2/Gaussian.cpp		diff \| blob \| history
src/sat/cryptominisat2/Gaussian.h		diff \| blob \| history
src/sat/cryptominisat2/Makefile		diff \| blob \| history
src/sat/cryptominisat2/OnlyNonLearntBins.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/OnlyNonLearntBins.h	[new file with mode: 0644]	blob
src/sat/cryptominisat2/PartFinder.cpp		diff \| blob \| history
src/sat/cryptominisat2/PartHandler.cpp		diff \| blob \| history
src/sat/cryptominisat2/PartHandler.h		diff \| blob \| history
src/sat/cryptominisat2/SmallPtr.cpp	[deleted file]	blob \| history
src/sat/cryptominisat2/SmallPtr.h	[deleted file]	blob \| history
src/sat/cryptominisat2/Solver.cpp		diff \| blob \| history
src/sat/cryptominisat2/Solver.h		diff \| blob \| history
src/sat/cryptominisat2/SolverTypes.h		diff \| blob \| history
src/sat/cryptominisat2/Subsumer.cpp		diff \| blob \| history
src/sat/cryptominisat2/Subsumer.h		diff \| blob \| history
src/sat/cryptominisat2/UselessBinRemover.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/UselessBinRemover.h	[new file with mode: 0644]	blob
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/XSet.h		diff \| blob \| history
src/sat/cryptominisat2/XorFinder.cpp		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/pool.hpp	[deleted file]	blob \| history
src/sat/cryptominisat2/poolfwd.hpp	[deleted file]	blob \| history
src/sat/cryptominisat2/singleton.hpp	[deleted file]	blob \| history

STP Constraint Solver.

RSS Atom