Topic: "unit-propagation"
QabasAK/SAT-Solver
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.
Language: Python - Size: 15.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
cbfredster/boolean-logic
a set of Boolean logic functions and SAT solvers
Language: Python - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
jaras209/SAT_solver
Implementation of CDCL SAT solver in Python
Language: Python - Size: 768 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
