An advanced SAT solver
-
Updated
Sep 28, 2024 - C++
An advanced SAT solver
A simple SAT solver based on the CDCL algorithm
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Parallel SAT Solver
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
A collaborative parallel SAT solver for teens
Add a description, image, and links to the cdcl-algorithm topic page so that developers can more easily learn about it.
To associate your repository with the cdcl-algorithm topic, visit your repo's landing page and select "manage topics."