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