QDIMACS

Standard input and output formats of quantified Boolean formulas (QBFs) solvers. https://www.qbflib.org/qdimacs.html
Specification format

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.