[zypp-commit] r7649 - in /trunk/sat-solver: ./ bindings/ bindings/ruby/ cmake/ cmake/modules/ src/ testsuite/ tools/