takahisa/chibisat

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

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

话题：cdcl-algorithm · ocaml · sat-solver

在 GitHub 上查看原仓库