We provide the experimental tool 'qdag' as a reference implementation of our approach for representing variable dependencies in QBFs in a compact way as a directed acyclic graph (DAG). See also our SAT'09 paper, SAT'09 talk and MEMICS'08 paper.


  • A dependency graph visualizer is part of the binary package.
  • SAT'09 tool (32-bit Linux binary), produces statistical output: qdag-sat09.tar.gz
  • SAT'09 statistics on structured QBFs from QBFEVAL: qdag-sat09-stats.tar.7z


See the license file that comes with the binary.