Verifying Refutations with Extended Resolution
Review only
This page will provide access to tools presented in our paper accepted for CADE-24.
Download
The checking tool for proofs in the RAT format in C:
rat-check.c
Benchmarks
benchmarks.zip
Files of our ACL2 materials:
ACL2.zip