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