[zypp-commit] r10981 - in /trunk/sat-solver: ./ applayer/ bindings/ package/ testsuite/ tools/