[zypp-commit] r11675 - in /trunk/sat-solver/applayer: xsolvable.c xsolvable.h