kissat

The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.

Looking for solutions of certain sizes with Glucose, Kissat and CaDiCaL

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.

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.

kissat 4.0.4 fork emitting VeriPB 3.0 proofs natively — verified end-to-end via veripb 3.0.2 + cake_pb