Binary Decision Diagrams on Modern Hardware

<p>The reproducibility artefact for the &quot;Binary Decision Diagrams on Modern Hardware&quot; paper.</p> <p>&nbsp;</p> <p>Follow the instructions in the README document. Depending on the concrete steps you want to reproduce, you may not need to download all files in the artefact. However, at the very least, you&#39;ll need either&nbsp;`bin.zip` (pre-compiled binaries)&nbsp;or `src.zip` (source code) and one of the benchmark datasets (`bdd-X-pruned.zip` and `benchmarks-X.tsv`).</p>