Simple SAT solver with CDCL implemented in Python
-
Updated
Jan 5, 2023 - Python
#
cdcl-algorithm
Here are 5 public repositories matching this topic...
Implementation of basic CDCL-based SAT solver in Python
-
Updated
Nov 30, 2020 - Python
Python implementation of a CDCL SAT solver with VSIDS decision heuristic and phase saving.
-
Updated
Dec 24, 2024 - Python
C++ SAT solver using DPLL and CDCL algorithms to solve Boolean SAT problems supporting pure literal elimination, unit propagation, clause learning, and non-chronological backtracking.
-
Updated
Mar 11, 2025 - Python
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 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."