OCaml-SAT-Solvers
OCaml
★ 19
updated 11y ago
An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
No plain-English explanation yet — one is being written right now. Check back in a minute.