Implementation of CDCL SAT solver in Python
A single-file Python CDCL SAT solver
Python implementation of a CDCL SAT solver with VSIDS decision heuristic and phase saving.
CDCL SAT Solver implemented in C++ using watches and restarts
A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack, and differential cryptanalysis.
A CDCL SAT solver in C++23
A purely functional CDCL-based SAT solver implemented in Haskell.
The aim of this project is to build a program which given a formula A and a theory Γ, it checks if A is a Logical Consequence of Γ.
A Python Implementation of the DPLL Algorithm Inspired by MiniSAT
CDCL Boolean Satisfiability (SAT) Solver written in modern C++
To associate your repository with the cdcl-solver topic, visit your repo's landing page and select "manage topics."