[zypp-commit] <sat-solver> master : Adapt to new solver api for Jobs and Problems