]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e40f2ca) | patch
Fixing verbosity-related problems in CryptoMiniSat2
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 26 Jul 2010 12:17:44 +0000 (12:17 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 26 Jul 2010 12:17:44 +0000 (12:17 +0000)
commitf46e2c2c9da5a8b6d250af2e206dd3fdc13ca9d7
treedeb2735418d8c2b010e901e9485ba4d0b56369d5tree | snapshot
parente40f2cac168708b53b96d524afdce80e6a9bc267commit | diff
Fixing verbosity-related problems in CryptoMiniSat2

Reported by Trevor Hansen

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