Hacker News Reader

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

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.

Reply on news.ycombinator.com