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