]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Added funcion in CallSAT.cpp to bucketize the clauselist
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 3 Nov 2009 00:34:22 +0000 (00:34 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 3 Nov 2009 00:34:22 +0000 (00:34 +0000)
commit91d18d93ebc3e5fb6d1b9799792c1c0a03b703db
tree796cb2f36c21a186e68a61f76cd6b8d60679c5f9
parent1d62ad76cd78031b54bb956513bf6ff560104fd2
Added funcion in CallSAT.cpp to bucketize the clauselist

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@373 e59a4935-1847-0410-ae03-e826735625c1
src/AST/AST.h
src/AST/UsefulDefs.h
src/to-sat/CallSAT.cpp
src/to-sat/ToCNF.cpp
src/to-sat/ToCNF.h