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?

The ship of complexity has long sailed for many projects.

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