Dependency resolution is NP-complete, and many package managers use external SAT solvers! https://research.swtch.com/version-sat