[zypp-commit] r8132 - in /trunk/sat-solver/bindings: ruby/tests/solvable.rb satsolver.i