cdcl

Here are 4 public repositories matching this topic...

SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B

sat-solver cdcl lookahead-solver

A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.

c rust bdd parallelism sat-solver cdcl

Lightweight but fast SAT solver with input sorting and CDCL

sat-solver cdcl

SAT solver using CDCL procedure and watched literals, VSIDS herustics.

proof literals sat-solver sat univr cdcl sativa unsat vsids

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

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