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