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