[zypp-commit] r7801 - in /trunk/sat-solver/src: repo_solv.h solver.c