Superformats of dimacs: qdimacs and dqdimacs

[hansjoergschurr]

Those two formats are, if I recall correctly, supersets of dimacs and are used for QBF solving and DQBF solving, respectively.

The standard for qdimacs is here: http://www.qbflib.org/qdimacs.html Note that the standard forbids empty clauses and the empty matrix, some preprocessors, however, are happy to produce such non-standard files.

dqdimacs is even more specialized. It is described in a paper by Fröhlich et. al. (https://forsyte.at/wp-content/uploads/idq_pos2014.pdf). It is the format used in the DQBF track of QBFEVAL (http://www.qbflib.org/qbfeval20.php). This page also gives this paper as a reference.