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 KboPAacDA3 on Saturday September 28, 2019 @10:39PM (#21104662)
These can be deployed against the Eternity II puzzle. I doubt any SAT solver will find a complete solution in our lifetimes, but a near solution would be satisfying.

https://en.wikipedia.org/wiki/Eternity_II_puzzle

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

Heh.

[ Parent | on HN ]