]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Updating CryptoMiniSat2 to r494. The only difference between this
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 1 Dec 2009 23:14:57 +0000 (23:14 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 1 Dec 2009 23:14:57 +0000 (23:14 +0000)
commitfd4ccf3ec07389cfb690ed61552431af9d2c5e45
treec994ad1b131edefdd4dbb0f1fdb17b1c1c85c161
parentcb1946cc5803a6a96d9cf3be4c7139ce6b38cd5a
Updating CryptoMiniSat2 to r494. The only difference between this
version and the version in SVN is that performReplace() is not called
here. The reasons for this are:

1) performReplace() is at the moment buggy when MiniSat is used as a
   library

2) For a programmable solver, we need to have all variables to
   propagating at all times, thus we cannot accept to have certain
   variables acting as more than one (for which performReplace is
   used)

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