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 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 ]