[zypp-commit] <sat-solver> master : Let the Python binding return a bool from Solver.solve() as described in