]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Updating to cryptominisat2 git revision 63f0b6f7e4927759643c97913060c37f8ae4c82a
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Dec 2009 10:36:39 +0000 (10:36 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Dec 2009 10:36:39 +0000 (10:36 +0000)
commit8bca72333d94dd059a3a451af3da116e05b18a18
tree1ee89ab463eb02d72bb90366788b21b2816ef282
parent79c027bc7e776290f347271a86331d62019db366
Updating to cryptominisat2 git revision 63f0b6f7e4927759643c97913060c37f8ae4c82a

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@454 e59a4935-1847-0410-ae03-e826735625c1
src/sat/cryptominisat2/Conglomerate.cpp
src/sat/cryptominisat2/Gaussian.cpp
src/sat/cryptominisat2/Gaussian.h
src/sat/cryptominisat2/Logger.cpp
src/sat/cryptominisat2/MatrixFinder.cpp
src/sat/cryptominisat2/PackedMatrix.h
src/sat/cryptominisat2/PackedRow.h
src/sat/cryptominisat2/Solver.cpp
src/sat/cryptominisat2/Solver.h
src/sat/cryptominisat2/VERSION
src/sat/cryptominisat2/VarReplacer.cpp