[zypp-commit] r8712 - in /trunk/sat-solver: bindings/satsolver.i src/policy.c src/pool.c src/pooltypes.h src/repo_solv.c src/solvable.h src/solver.c src/solver.h