An advanced SAT solver
-
Updated
Feb 17, 2026 - C++
#
cdcl-algorithm
Here are 22 public repositories matching this topic...
Sort: Most stars
Sort options
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
-
Updated
Jan 1, 2021 - Jupyter Notebook
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
python jupyter-notebook python3 sat-solver cdcl-algorithm minisat sat satisfiability cdcl vsids edusat
-
Updated
Sep 16, 2020 - Jupyter Notebook
Simple SAT solver with CDCL implemented in Python
-
Updated
Jan 5, 2023 - Python
A simple SAT solver based on the CDCL algorithm
-
Updated
Sep 10, 2019 - C++
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
-
Updated
May 14, 2021 - C++
Implementation of basic CDCL-based SAT solver in Python
-
Updated
Nov 30, 2020 - Python
Parallel SAT Solver
-
Updated
Jan 19, 2018 - C++
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
-
Updated
Nov 3, 2021 - D
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
-
Updated
Dec 30, 2018 - OCaml
Yet Another Sat solvER
conflict-resolution solver first-order-logic satisfiability-modulo-theories sat-solver cdcl-algorithm propositional-logic smt smt-solver formal-verification sat backtracking-search resolution-proof satisfiability dpll-algorithm propositional-resolution conflict-based-search conflict-driven-clause-learning dpll-solver theory-solver
-
Updated
Oct 12, 2025 - C++
A CDCL SAT solver written in Golang(Go).
-
Updated
Feb 4, 2019 - Go
CDCL SAT Solver implementation for babies
-
Updated
May 31, 2020 - Jupyter Notebook
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
-
Updated
Mar 17, 2020 - C++
A CDCL SAT solver in C++23
-
Updated
Feb 8, 2026 - C++
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
-
Updated
May 19, 2020 - C++
Python implementation of a CDCL SAT solver with VSIDS decision heuristic and phase saving.
-
Updated
Dec 24, 2024 - Python
Reinforcement-Learning Controller for Variable Selection in the CaDiCaL SAT Solver — integrates a Python A2C policy with an instrumented CaDiCaL solver through a pybind11 bridge to learn variable-selection heuristics from a top-K candidate set on multiple SAT families. This Project served as my COS700 Honours Research at University of Pretoria.
-
Updated
Oct 29, 2025 - C++
A collaborative parallel SAT solver for teens
-
Updated
Jan 4, 2024 - C++
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
-
Updated
Mar 28, 2018 - SMT
Improve this page
Add a description, image, and links to the cdcl-algorithm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cdcl-algorithm topic, visit your repo's landing page and select "manage topics."