]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf7cc58) | patch
CMS2 update: Extending the conglomerated clauses was done too early. Also, some non...
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 15 Apr 2010 15:53:38 +0000 (15:53 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 15 Apr 2010 15:53:38 +0000 (15:53 +0000)
commitbd7bcd8d5ef49da039c61e754f783f28db662ca4
tree7499b56e96d0927edcbb8cf53037b2acf8c994fetree | snapshot
parentbf7cc5878195d540e2216d07ea746e36855b50a9commit | diff
CMS2 update: Extending the conglomerated clauses was done too early. Also, some non-decision variables were set for no reason in the model

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@680 e59a4935-1847-0410-ae03-e826735625c1
src/sat/cryptominisat2/Solver.cpp diff | blob | history
src/sat/cryptominisat2/VERSION diff | blob | history
STP Constraint Solver.