[zypp-commit] r11881 - in /trunk/sat-solver/bindings: rule.i satsolver.i