[zypp-commit] r11587 - in /trunk/sat-solver: applayer/ bindings/ package/