[zypp-commit] r7987 - in /trunk/libzypp/zypp: sat/SATResolver.cc solver/detail/ProblemSolutionCombi.cc solver/detail/ProblemSolutionCombi.h