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