]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
added xor clause adding to cryptominisat. still being debugged
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 5 Nov 2009 19:41:17 +0000 (19:41 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 5 Nov 2009 19:41:17 +0000 (19:41 +0000)
commit576b0af0a5410558b29394b525ad56cb0d3254c4
tree8d4cff7597d9adfa0563bfbd2a86a360dd5ada3e
parente885a946842fce1f24112201ce9d5b3bbafdc0d9
added xor clause adding to cryptominisat. still being debugged

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