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
Implementation of CDCL SAT solver in Python
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.
CDCL SAT Solver implemented in C++ using watches and restarts
A Python Implementation of the DPLL Algorithm Inspired by MiniSAT
Add a description, image, and links to the cdcl-solver topic page so that developers can more easily learn about it.
To associate your repository with the cdcl-solver topic, visit your repo's landing page and select "manage topics."