takahisa/chibisat
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
GitHub repository with 6 stars and 0 forks.
Language: OCaml
Topics: sat-solver, ocaml, cdcl-algorithm
Latest metric snapshot
2026-06-15: 6 stars and 0 forks.
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
GitHub repository with 6 stars and 0 forks.
Language: OCaml
Topics: sat-solver, ocaml, cdcl-algorithm
2026-06-15: 6 stars and 0 forks.