[zypp-commit] r7863 - in /trunk/sat-solver: bindings/satsolver.i src/repo.h src/solver.c