News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused (2018). Parent comment

Re:Modern SAT solvers: fast, neat and underused (2018) by taeric on Friday May 26, 2023 @08:55PM (#36091092)
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?

[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused (2018) by g8oz on Saturday May 27, 2023 @10:35AM (#36095154)
The ship of complexity has long sailed for many projects.
[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused (2018) by taeric on Saturday May 27, 2023 @03:48PM (#36097622)
I imagine most individual projects are still low enough in dependencies that you still have to try for that to be the slow part.
[ Parent | on HN ]