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>
	Tue, 8 Dec 2009 13:31:11 +0000 (13:31 +0000)
committer	msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 8 Dec 2009 13:31:11 +0000 (13:31 +0000)
commit	0bdada38814a91e4c40a417f78662cfb970326ce
tree	52d6e245fd7fac5511b32246adf838412be2c671	tree \| snapshot
parent	d25af2d436b1ac19733d2707fdcc6567ec879bc9	commit \| diff

Updating CryptoMiniSat to r586. Need to call 'void needLibraryCNFFile(const char* fileName);' once exactly after Solver object creation to have CNF file output from library calls

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

18 files changed:

src/sat/cryptominisat2/Clause.h		diff \| blob \| history
src/sat/cryptominisat2/ClauseCleaner.cpp		diff \| blob \| history
src/sat/cryptominisat2/Conglomerate.cpp		diff \| blob \| history
src/sat/cryptominisat2/Conglomerate.h		diff \| 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/MatrixFinder.cpp		diff \| blob \| history
src/sat/cryptominisat2/PackedRow.cpp		diff \| blob \| history
src/sat/cryptominisat2/Solver.cpp		diff \| blob \| history
src/sat/cryptominisat2/Solver.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/XorFinder.cpp		diff \| blob \| history
src/sat/cryptominisat2/constants.h		diff \| blob \| history
src/sat/cryptominisat2/time_mem.h		diff \| blob \| history

STP Constraint Solver.

RSS Atom