HTTP/2 302 content-type: text/html; charset=utf-8 location: //fmv.jku.at/qrpcert/ vary: Origin x-request-id: 01KF0XTY907PBEY15TGP44HT97 content-length: 44 date: Thu, 15 Jan 2026 13:34:35 GMT HTTP/2 200 accept-ranges: bytes cache-control: max-age=600 content-type: text/html; charset=utf-8 etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8" expires: Thu, 15 Jan 2026 14:44:35 CET last-modified: Thu, 25 Sep 2025 14:38:37 GMT vary: Origin x-request-id: 01KF0XTYEB77AK7E34H1A1XKWM content-length: 6897 date: Thu, 15 Jan 2026 13:34:35 GMT

TNF / INF FMV team contact software publications teaching jobs

[  download | overview | publications | license ] QRPcert Download Please see the README file for installation instructions and release notes. Source code: QRPcert 1.0.1. Overview 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. Publications Paper and talk at SAT 2012 conference. A more detailed description of QRPcert can be found here. License QRPcert is developed and maintained by Mathias Preiner. It is released under GNU GPLv3 (see file COPYING, which is part of the distribution).