I have been using linux for about 2 years now and I have enjoyed every second of it. What in your opinion is the best package manager the linux community has ever offered to us? dpkg, apt, yum, pacman, xbps, zypp, nix, guix, portage, 0install and other tons of them that are out there.
Yeah, ZyPP uses a SAT Solver, so it basically does a mathematical proof that the dependencies can be satisfied. So, assuming there’s no bug in the solver implementation and dependency information on packages is correct, it cannot fail, but that’s what makes it somewhat slower than the package managers that increment versions more naïvely.
You might also still remember zypper feeling slow, because it refreshed with every command. It doesn’t do that anymore. Now it only refreshes when the last refresh was a little while ago.