Great article, but: > "I thought that SAT solvers were widely used in package dependency management. Turns out they’re not!" Proceeds to link to PubGrub, a "P

Great article, but: > "I thought that SAT solvers were widely used in package dependency management. Turns out they’re not!" Proceeds to link to PubGrub, a "Pub's version solving algorithm, called Pubgrub, solves these issues by adapting state-of-the-art techniques for solving Boolean satisfiability and related difficult search problems." It's basically a sat solver that uses the problem domain directly. Which they later acknowledge might be a reason for not using an "off the shelf" solver. It's just funny to present it this way - but I enjoyed the article nontheless.