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>
	Wed, 14 Apr 2010 18:18:39 +0000 (18:18 +0000)
committer	msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
	Wed, 14 Apr 2010 18:18:39 +0000 (18:18 +0000)
commit	2248888f7686b68aea5fd0a9669320ee1108a460
tree	a64289758520d9e53fba2c0f69ac88fc97b96281	tree \| snapshot
parent	fc41d9973b51dde1d82808c092729b97c54b9519	commit \| diff

Importing the new cryptominisat

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

65 files changed:

src/AST/Makefile		diff \| blob \| history
src/STPManager/Makefile		diff \| blob \| history
src/main/Makefile		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/sat/cryptominisat2/BitArray.h		diff \| blob \| history
src/sat/cryptominisat2/BoundedQueue.h		diff \| blob \| history
src/sat/cryptominisat2/CSet.h	[new file with mode: 0644]	blob
src/sat/cryptominisat2/Clause.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/Clause.h		diff \| blob \| history
src/sat/cryptominisat2/ClauseCleaner.cpp		diff \| blob \| history
src/sat/cryptominisat2/ClauseCleaner.h		diff \| blob \| history
src/sat/cryptominisat2/Conglomerate.cpp		diff \| blob \| history
src/sat/cryptominisat2/Conglomerate.h		diff \| blob \| history
src/sat/cryptominisat2/DoublePackedRow.h	[new file with mode: 0644]	blob
src/sat/cryptominisat2/FailedVarSearcher.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/FailedVarSearcher.h	[new file with mode: 0644]	blob
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/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	[new file with mode: 0644]	blob
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	[new file with mode: 0644]	blob
src/sat/cryptominisat2/PartFinder.h	[new file with mode: 0644]	blob
src/sat/cryptominisat2/PartHandler.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/PartHandler.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/SmallPtr.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/SmallPtr.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/SolverTypes.h		diff \| blob \| history
src/sat/cryptominisat2/Subsumer.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/Subsumer.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	[new file with mode: 0644]	blob
src/sat/cryptominisat2/XorFinder.cpp		diff \| blob \| history
src/sat/cryptominisat2/XorFinder.h		diff \| blob \| history
src/sat/cryptominisat2/XorSubsumer.cpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/XorSubsumer.h	[new file with mode: 0644]	blob
src/sat/cryptominisat2/constants.h		diff \| blob \| history
src/sat/cryptominisat2/msvc/stdint.h	[new file with mode: 0644]	blob
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/pool.hpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/poolfwd.hpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/singleton.hpp	[new file with mode: 0644]	blob
src/sat/cryptominisat2/time_mem.h		diff \| blob \| history
src/to-sat/ToSAT.cpp		diff \| blob \| history

STP Constraint Solver.

RSS Atom