News for hackers. Stuff that matters.

A comment on Understanding SAT by Implementing a Simple SAT Solver in Python (2014). Parent comment

Re:Understanding SAT by Implementing a Simple SAT Solver in ... by phonicwheel on Saturday August 31, 2019 @10:47AM (#20846585)
There are also probabilistic SAT solvers for cases where there isn't just one true logical answer, e.g., https://github.com/MatthiasNickles/delSAT
[ Parent | on HN ]

There are no comments on this comment yet.