[zypp-commit] r10622 - in /trunk/sat-solver: applayer/ bindings/ src/ testsuite/ tools/