improved output of the SAT solver
authorStefan Schubert <schubi@suse.de>
Fri, 30 Nov 2007 11:34:15 +0000 (11:34 +0000)
committerStefan Schubert <schubi@suse.de>
Fri, 30 Nov 2007 11:34:15 +0000 (11:34 +0000)
commit5181dec67f1edfa0f0b833bf251b094ba0acbc2c
tree89deca290769803c2a20bb01b232cda863cf776c
parentc5d74661bc86459d77aa49cf9dae0df7ac26d616
improved output of the SAT solver
zypp/sat/SATResolver.cc
zypp/solver/detail/ProblemSolutionCombi.cc
zypp/solver/detail/ProblemSolutionCombi.h