[zypp-commit] r10905 - in /trunk/sat-solver: src/ tools/