resolve_installed() contains proper dependencies

Which is needed for solving the installation.
It is currently slow, because the parsing of the
dependencies is not vectorized, but we can fix that later.