[zypp-commit] <sat-solver> master : - define solvid2str() function, use sat_sort()