I wrote a dpll (the standard algorithm for SAT) Implementation in Haskell, that’... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		maxmunzel on Aug 31, 2019 \| parent \| context \| favorite \| on: Understanding SAT by Implementing a Simple SAT Sol... 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.

hwwc on Sept 1, 2019 [–]

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).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact