<p>There is a standard format proposed. At <a href="http://www.qbflib.org/qbfeval18.php" rel="nofollow noreferrer">QBFEVAL’18</a> there is a DQBF-track, which uses DQDIMACS from a paper by <a href="http://forsyte.at/wp-content/uploads/idq_pos2014.pdf." rel="nofollow noreferrer">Föhlich et al </a>on IDQ.</p>

CC BY-SA 4.0
2018-06-24T20:31:15.927Z
2018-06-25T00:04:59.620Z
2018-06-25T00:04:59.620Z
Pushpa
<p>I know there is a standard input format DIMACS for a formula is in conjunctive normal form (CNF) and QDIMACS for quantified Boolean formulas. Is there a similar standard format for the Dependent-QBF (DQBF)?</p>

CC BY-SA 4.0
2018-06-24T20:31:54.970Z
Don't know why people have down-voted this? Stupidity.
Pushpa
<lo.logic><sat><boolean-formulas>
Is there a standard format for Dependent QBF?
Pushpa
# Is there a standard format for Dependent QBF?

(Asked by: username_0 on 2018-06-07)

I know there is a standard input format DIMACS for a formula is in conjunctive normal form (CNF) and QDIMACS for quantified Boolean formulas. Is there a similar standard format for the Dependent-QBF (DQBF)?

**Tags:** lo.logic, sat, boolean-formulas

> **Comments:**
> **username_0**: Don't know why people have down-voted this? Stupidity.  

---

## 1 answers

### Answer by username_0 on 2018-06-24. Score: 2 | Accepted answer

There is a standard format proposed. At [QBFEVAL’18](http://www.qbflib.org/qbfeval18.php) there is a DQBF-track, which uses DQDIMACS from a paper by [Föhlich et al](http://forsyte.at/wp-content/uploads/idq_pos2014.pdf.) on IDQ.


---

