Skip to content
/ pr2drat Public

A tool that converts PR proofs into DRAT proofs

2 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

marijnheule/pr2drat

BranchesTags

Folders and files

NameName
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

Activity

Stars

2 stars

Watchers

4 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages