[zypp-commit] r7867 - in /trunk/sat-solver: bindings/satsolver.i src/policy.c src/pool.c src/pool.h src/solver.c src/solver.h testsuite/deptestomatic.c testsuite/gimmick.c testsuite/yps.c