[0] https://github.com/dart-lang/pub/blob/master/doc/solver.md
Also, the pubgrub-rs guide I find has a gentle ramp in introducing complexity: https://pubgrub-rs-guide.pages.dev/internals/intro
[0] https://github.com/dart-lang/pub/blob/master/doc/solver.md