Please see the README file for installation instructions and release notes.
QRPcert is a tool for extracting Skolem/Herbrand function-based QBF certificates from Q-resolution proofs in QRP format. Skolem/Herbrand functions are represented as AIGs in AIGER format (ascii and binary version supported).
QRPcert is part of QBFcert, a framework for extracting and validating QBF certificates.
For bug reports etc., please contact Mathias Preiner.
QRPcert is developed and maintained by Mathias Preiner.