The software has been tested on OSX 10.11 with Apple LLVM version 7.0.0 (clang-700.1.76) and GNU make version 3.81.

The program can be compiled by running make which produces an executable called prepro. Further options on how to use prepro can be obtained by using it with the —-help option.

prepro can generate tests for random DAGs and powerset lattices which can be specified as a command line parameter. There is also a command line option to read graphs defined using html lists. Some examples of such inputs html lists can be found in the benchmark folder.

Please note: The software is a research prototype and despite our best intentions, it may contain errors/bugs.