GhostQ is a QBF solver.  The input QBF problem must be in our custom
strict-CQBF format.  We include two Python scripts to convert the widely-used
QDIMACS and QPRO formats to our CQBF format.

MAIN FILES:
    ghostq.cpp: Source code for the QBF solver.  
    cqbf-conv.py: Convert QDIMACS and loose-CQBF format to strict-CQBF format.
    qpro-to-cqbf.py: Convert QPRO format to loose-CQBF format.

To compile GhostQ on Linux, use the included makefile.

Example:
    $ make
    $ python cqbf-conv.py cmu.dme2.B-d3.qdimacs -o cmu.dme2.B-d3.cqbf -quiet
    $ ./ghostq cmu.dme2.B-d3.cqbf -q1
Or:
    $ python cqbf-conv.py cmu.dme2.B-d3.qdimacs -quiet | ./ghostq - -q1

