CDCL SAT Solver from Scratch in Python
-
Updated
Jun 24, 2025 - Python
#
cdcl
Here are 11 public repositories matching this topic...
Conflict-Driven Clause Learning (CDCL) 2-Watched Literals (2WL) clause indexer accelerating Boolean constraint propagation.
-
Updated
Sep 10, 2026 - Python
Conflict-Driven Clause Learning (CDCL) 2-Watched Literals (2WL) clause indexer accelerating Boolean constraint propagation.
-
Updated
Sep 10, 2026 - Python
DPLLT fot SMT problems using CDCL, BCP & DLIS. Provided with TQ & UF theories
-
Updated
Nov 3, 2022 - Python
Sudoku solver using CaDiCaL SAT solver
-
Updated
Dec 1, 2023 - Python
A single-file Python CDCL SAT solver
-
Updated
Jul 26, 2024 - Python
Certified frame-first SAT middleware — decide structured regions (2-SAT · GF(2) parity · counting) before CDCL, and independently verify every verdict (model replay · DRAT). A research harness for where SAT hardness lives.
python lambda-calculus sat-solver formal-verification drat computational-complexity boolean-satisfiability proof-checking satisfiability cdcl cryptominisat constraint-solving kissat nullstellensatz certified-solving resolution-width
-
Updated
Aug 29, 2026 - Python
A readable, self-checking CDCL SAT solver, preprocessor and encoding library. Every answer comes with a certificate.
-
Updated
Sep 3, 2026 - Python
Learn how SAT solvers work by watching them solve Sudoku — a curses TUI animating DPLL, CDCL, and WalkSAT step by step
-
Updated
Jun 30, 2026 - Python
A CDCL SAT solver whose UNSAT answers come with a machine-checkable proof -- and the checker too
-
Updated
Jul 14, 2026 - Python
MiniSat-targeted EigenScript SAT solver and benchmark suite
-
Updated
Sep 11, 2026 - Python
Add this topic to your repo
To associate your repository with the cdcl topic, visit your repo's landing page and select "manage topics."