cdcl-algorithm
Here are 21 public repositories matching this topic...
Sort:Most stars
An advanced SAT solver
- Updated
Oct 4, 2025 - C++
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
- Updated
Sep 16, 2020 - Jupyter Notebook
A simple SAT solver based on the CDCL algorithm
- Updated
Sep 10, 2019 - C++
Simple SAT solver with CDCL implemented in Python
- Updated
Jan 5, 2023 - Python
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
- Updated
Oct 12, 2025 - C++
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++
Python implementation of a CDCL SAT solver with VSIDS decision heuristic and phase saving.
- Updated
Dec 24, 2024 - Python
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
- Updated
May 19, 2020 - C++
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
This project was done as part of the COL876 (SAT Solvers and Automated Reasoning) course requirements. This is a simple implementation of a CDCL-based SAT Solver. The solver involves some tried-and-tested heuristics and their results in the report.
- Updated
Dec 4, 2024 - Python
Improve this page
Add a description, image, and links to thecdcl-algorithm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecdcl-algorithm topic, visit your repo's landing page and select "manage topics."