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

There are no comments on this comment yet.