Interesting work. This is nice to see improvements and experiments in dependency solvers for package managers.
