[zypp-commit] r11173 - in /trunk/sat-solver: ./ applayer/ bindings/ bindings/python/tests/ bindings/ruby/tests/ package/