Version SAT
https://research.swtch.com/version-sat [research.swtch.com]
2016-12-13 16:41
This post gives a proof of NP-completeness for version selection, looks at how existing package managers cope, and briefly discusses possible approaches to avoid an NP-complete task.