Dependency Resolution Read list: https://en.wikipedia.org/wiki/Conflict-driven_clause_learning https://pubgrub-rs-guide.pages.dev/internals/intro https://nex3.medium.com/pubgrub-2fb6470504f https://borretti.me/article/dependency-resolution-made-simple https://research.swtch.com/version-sat