[zypp-commit] <sat-solver> master : Make problem/solution handling less ZyPPish