[zypp-commit] r8337 - in /trunk/sat-solver/bindings: ruby/tests/decisions.rb ruby/tests/solutions.rb ruby/tests/solver.rb satsolver.i