[zypp-commit] r7528 - in /trunk/sat-solver: src/source_solv.c tools/Makefile.am tools/mergesolv.c