CDCL

A SAT solver written in Haskell. Original Author Thanh Nam Pham.

TODOs

[ ] analyze and fix backjumping, currently only simple backtracking

[ ] introduce watched literals

[ ] profile and adapt data structures where sensible

Ideas

Programming Pearl, SAT Solver in Prolog