[tgamblin]

Dart as in the language? Dart uses a SAT solver: https://github.com/dart-lang/pub/blob/master/doc/solver.md

[taeric]

My gut is that was the point? That Dart uses a SAT solver to no discernible advantage.

I will also note that this amuses me to no end. If you have enough dependencies that you need the speed of a SAT solver.... how many dependencies do you have? And why are they changing so dang much?

[g8oz]

The ship of complexity has long sailed for many projects.

[taeric]

I imagine most individual projects are still low enough in dependencies that you still have to try for that to be the slow part.