takahisa / chibisat

CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml

Geek Repo

Github PK Tool