OCaml-SAT-Solvers icon indicating copy to clipboard operation
OCaml-SAT-Solvers copied to clipboard

Published 20 hours ago • verified publisher icon charliermarsh
→

Metadata

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

Results 0 OCaml-SAT-Solvers issues
Sort by recently updated
recently updated
newest added

← Metadata

18
Stars
4
Forks
Watchers

Owner

verified publisher icon charliermarsh

Metadata

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

Back