Understanding SAT by Implementing a Simple SAT Solver in Python (2014)

Re:Understanding SAT by Implementing a Simple SAT Solver in ... by maxmunzel on Saturday August 31, 2019 @05:42AM (#20845422)

I wrote a dpll (the standard algorithm for SAT) Implementation in Haskell, that’s also pretty straight forward: https://github.com/maxmunzel/dpll/blob/master/README.md

Feel free to ask any questions.

[ Parent | on HN ]

Re:Understanding SAT by Implementing a Simple SAT Solver in ... by hwwc on Saturday August 31, 2019 @10:33PM (#20850200)

Thanks! I did a port of it and this could be my way in to discovering more about SAT solvers. (Doing ports is one of my preferred means of jumpstarting my motivation for more complex areas of study).

[ Parent | on HN ]