drabt
Proof checker for the DRAT proof format
Install
- All systems
-
curl cmd.cat/drabt.sh
- Fedora
-
dnf install drabt
- Dockerfile
- dockerfile.run/drabt
Proof checker for the DRAT proof format
curl cmd.cat/drabt.sh
dnf install drabt