News for hackers. Stuff that matters.

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

Re:Modern SAT solvers: fast, neat and underused by OscarCunningham on Sunday September 29, 2019 @05:15AM (#21106017)
> satisfying

Heh.

[ Parent | on HN ]

There are no comments on this comment yet.