Comparison of PBO solvers in a dependency solving domain

Paulo Trezentos

Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In th…