Giters

marijnheule / sr2drat

A tool that converts SR proofs into DRAT proofs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ppr2drat

Tool to transform PPR proofs into DRAT proofs

About

A tool that converts SR proofs into DRAT proofs

Languages

Language:C 99.4%Language:Shell 0.3%Language:Makefile 0.2%