[zypp-commit] r8839 - in /trunk/sat-solver: applayer/xsolvable.c applayer/xsolvable.h bindings/satsolver.i