Adiar 1.0.1 : TACAS 2022 Artifact

Adiar 1.0.1 : TACAS 2022 Artifact

This artifact consists of three parts.

• Adiar
  The (runnable) source code for the Adiar BDD package.
• BDD-Benchmark
  The (runnable) source code for the set of benchmarks we have reported on in the paper.
• Data
  The full data set (both the raw console logs and the Libre Office files analysing the data).

For a more in-depth description, please read the README.txt file within the .zip file.

This artifact is created for the Virtual Machine used as part of the artifact evaluation of TACAS 2022.

https://doi.org/10.5281/zenodo.5537146