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 or run the included
do-gcc.sh script.

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
    Seed: 1672863593. true.  Bt:   10, Dec:  107.  T: 0.001 s.

QPRO files must be processed first by qpro-to-cqbf.py and then by cqbf-conv.py:
    $ python qpro-to-cqbf.py ring5_33.qpro | python cqbf-conv.py - | ./ghostq -

