This directory contains supplementary material to our NFM paper

log ... logs of the experiments
benchmarks ... used formulas 
scripts ... bash scripts used to call the tools as described in the paper


# To run the tool
1. Move to the code folder.

2. Run requirements.py. To install all necessary third-party tools like SAT solvers and to build our
tools, the script requirements.py is provided. 

3. Run the tool. The full tool chain is called via
pipeline.py <qbf> <f> where <qbf> is the input QBF in QDIMACS format and
<f> is the name of the file in which the generated winning strategy is stored.