#

cdcl

Here are 2 public repositories matching this topic...

imandra-ai / abstract-transition-systems

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration

ocaml formalization smt sat dpll-algorithm cdcl

Updated Mar 5, 2022
OCaml

nguermond / cdcl

An ocaml implementation of the CDCL algorithm.

ocaml sudoku-solver cdcl

Updated Mar 23, 2020
OCaml

Improve this page

Add a description, image, and links to the cdcl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cdcl topic, visit your repo's landing page and select "manage topics."