[zypp-commit] r10758 - in /trunk/sat-solver/bindings: CMakeLists.txt satsolver.i solvable.i