veripb

Here are 2 public repositories matching this topic...

edwares / class52-formal-certification

Formal VeriPB certification of the elimination of link class 52 in the HorizonMath C(13,7,4) covering-design search; all 30 required instances independently reproduced.

computational-mathematics formal-verification pseudo-boolean veripb covered-designs roundingsat unsat-certificates

Updated Jul 29, 2026

frochmax / kissat-veripb

Star

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

sat-solver formal-verification sat drat pseudo-boolean kissat proof-logging veripb certified-proofs

Updated Jul 22, 2026
C

Improve this page

Add a description, image, and links to the veripb 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 veripb topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly