SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B
-
Updated
Mar 8, 2025 - C++
#
lookahead-solver
Here are 2 public repositories matching this topic...
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.
sat-solver boolean-algebra glucose march cryptominisat cadical cdcl-solver kissat lookahead-solver cube-and-conquer maplesat
-
Updated
Aug 2, 2024 - C++
Improve this page
Add a description, image, and links to the lookahead-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lookahead-solver topic, visit your repo's landing page and select "manage topics."