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.