3 ms·

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/RE

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 https://github.com/maxmunzel/dpll/blob/master/README.md Feel free to ask any questions.

hwwc 7y ago
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).