[  download | license ]

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.

Download

• 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

License

See the license file that comes with the binary.