kissat
Here are 5 public repositories matching this topic...
Looking for solutions of certain sizes with Glucose, Kissat and CaDiCaL
-
Updated
Feb 11, 2026 - 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.
-
Updated
Aug 2, 2024 - C++
Certified frame-first SAT middleware — decide structured regions (2-SAT · GF(2) parity · counting) before CDCL, and independently verify every verdict (model replay · DRAT). A research harness for where SAT hardness lives.
-
Updated
Jul 21, 2026 - Python
kissat 4.0.4 fork emitting VeriPB 3.0 proofs natively — verified end-to-end via veripb 3.0.2 + cake_pb
-
Updated
Jul 22, 2026 - C
Improve this page
Add a description, image, and links to the kissat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the kissat topic, visit your repo's landing page and select "manage topics."