On QBF Proofs and Preprocessing
Tools modified by us, or developed by us
The following are linux executables compiled on Ubuntu 12.
Please contact us if you have trouble running them, or if you wish to see the source code.
(preprocessor; we added tracing capabilities)
(reconstructs QBC certificates from traces produced by bloqqer)
(use to construct QBC certificates via depqbf)
(QBC certificate checker)
Third party tools
The following are links to the homepages of the third-party tools that we used unmodified.
Dec 27, 2013 17:59:48