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
Jun 14, 2025 - Python
#
unit-propagation
Here are 3 public repositories matching this topic...
Implementation of CDCL SAT solver in Python
formula sat-solver nnf unit-propagation cnf-formula tseitin-encoding cdcl-solver dpll-solver dimacs-format dimacs-formula
-
Updated
Dec 13, 2020 - Python
a set of Boolean logic functions and SAT solvers
python sat-solver dpll-algorithm boolean-logic vanilla-python unit-propagation dimacs-cnf pure-literal-elimination
-
Updated
May 24, 2025 - Python
Improve this page
Add a description, image, and links to the unit-propagation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the unit-propagation topic, visit your repo's landing page and select "manage topics."