GitHub - marijnheule/pr2drat: A tool that converts PR proofs into DRAT proofs · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
cnf		cnf
pr		pr
Makefile		Makefile
pr2drat.c		pr2drat.c

About

A tool that converts PR proofs into DRAT proofs

Report repository

Releases

No releases published

Packages

Contributors

Languages