charliermarsh/OCaml-SAT-Solvers

An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.

语言：OCaml · GitHub 星标：20 · Fork：6

在 GitHub 上查看原仓库