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