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 rwmj on Saturday May 27, 2023 @02:25AM (#36092518)
yum used ad-hoc Python code. It was also incredibly slow and often couldn't find a solution.
[ Parent | on HN ]

There are no comments on this comment yet.