move from zypper to libsolv
improved package solving