]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Updating CMS2
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 28 Apr 2010 12:24:57 +0000 (12:24 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 28 Apr 2010 12:24:57 +0000 (12:24 +0000)
commit451d5bfea7fe53ee45da3cbc7e311570cd827d47
treecb5e6adc69819c8e5da4759a830ea2a9340dd237
parent59accd5d00dbe96f1bd7c7e83eaa99ea8e8f8faa
Updating CMS2

There have been some bugs fixed, and some performance increases added.
Hopefully these will fix up all remaining bugs

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@731 e59a4935-1847-0410-ae03-e826735625c1
13 files changed:
src/sat/cryptominisat2/Clause.h
src/sat/cryptominisat2/ClauseCleaner.cpp
src/sat/cryptominisat2/FailedVarSearcher.cpp
src/sat/cryptominisat2/Logger.cpp
src/sat/cryptominisat2/Makefile
src/sat/cryptominisat2/SmallPtr.o [new file with mode: 0644]
src/sat/cryptominisat2/Solver.cpp
src/sat/cryptominisat2/Solver.h
src/sat/cryptominisat2/Subsumer.cpp
src/sat/cryptominisat2/VERSION
src/sat/cryptominisat2/VarReplacer.cpp
src/sat/cryptominisat2/XorFinder.cpp
src/sat/cryptominisat2/XorFinder.h