An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library. - View it on GitHub