Skip to content
#

certified-solving

Star

Here is 1 public repository matching this topic...

jesusvilela / lambda-sat-solver

Star 1

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.

python lambda-calculus sat-solver formal-verification drat computational-complexity boolean-satisfiability proof-checking satisfiability cdcl cryptominisat constraint-solving kissat nullstellensatz certified-solving resolution-width
  • Updated Jul 8, 2026
  • Python

Improve this page

Add a description, image, and links to the certified-solving topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the certified-solving topic, visit your repo's landing page and select "manage topics."

Learn more