[zypp-devel] sat-solver & recommends