7 ms·

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

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

taeric 3y ago
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 3y ago
  The ship of complexity has long sailed for many projects.
  - taeric 3y ago
    I imagine most individual projects are still low enough in dependencies that you still have to try for that to be the slow part.