News for hackers. Stuff that matters.

A comment on Kissat SAT Solver. Parent comment

Re:Kissat SAT Solver by jamestenglish on Thursday July 30, 2020 @03:12PM (#24001829)
Thank you! I clicked all the links on the page and still had no idea what SAT or the SAT Competition was!
[ Parent | on HN ]

There are no comments on this comment yet.