[zypp-commit] r11752 - in /trunk/sat-solver/src: pool.h solvable.c solver.c