drabt 004

DRABT is a proof checker for the DRAT proof format. Proofs compressed with gzip, bzip2, xz, zip, and 7zip are supported, but the corresponding decompression binary must be installed (i.e., gunzip, bunzip2, unxz, unzip, or 7z).




For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS

Last modified: Sat Jul 7 17:11:13 MDT 2018 by Jerry James