]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Updating CryptoMiniSat2 to r614. dynamicRestart is now automatic, and turns off gauss...
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 10 Dec 2009 15:19:30 +0000 (15:19 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 10 Dec 2009 15:19:30 +0000 (15:19 +0000)
commitaa83f558f4fd15ace513aef752801d7fef98f2ed
tree0a5c37723f47b07a54ebe9e461d7c22cfd2b56d7
parent8cf2fd8a2f5efbe4f795caf3d34f1d432d50bdcc
Updating CryptoMiniSat2 to r614. dynamicRestart is now automatic, and turns off gauss automatically. Cleanclauses and performReplace are now used only when they seem to provide benefit. Gauss depth is now set to 100 in STP.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@497 e59a4935-1847-0410-ae03-e826735625c1
20 files changed:
src/STPManager/STP.cpp
src/sat/cryptominisat2/ClauseCleaner.cpp
src/sat/cryptominisat2/ClauseCleaner.h
src/sat/cryptominisat2/Conglomerate.cpp
src/sat/cryptominisat2/Gaussian.cpp
src/sat/cryptominisat2/Gaussian.h
src/sat/cryptominisat2/Makefile
src/sat/cryptominisat2/MatrixFinder.cpp
src/sat/cryptominisat2/RestartTypeChooser.cpp [new file with mode: 0644]
src/sat/cryptominisat2/RestartTypeChooser.h [new file with mode: 0644]
src/sat/cryptominisat2/Solver.cpp
src/sat/cryptominisat2/Solver.h
src/sat/cryptominisat2/SolverTypes.h
src/sat/cryptominisat2/VERSION
src/sat/cryptominisat2/VarReplacer.cpp
src/sat/cryptominisat2/VarReplacer.h
src/sat/cryptominisat2/XorFinder.cpp
src/sat/cryptominisat2/constants.h
src/sat/cryptominisat2/mtl/Heap.h
src/to-sat/ToSAT.cpp