drabt

Proof checker for the DRAT proof format

Fedora
RUN dnf install -y drabt
click the source code to copy install drabt on any operating system with command-not-found.com