[zypp-commit] r8645 - in /trunk/sat-solver/applayer: problem.c xsolvable.c