Merit and Blame Assignment with Kind 2 (TACAS 2021 - Artifact)

This artifact contains the supporting material required to replicate the results described in the Experimental Evaluation and the examples of our regular tool paper. In particular, it includes a Kind 2 binary with the new features described in the paper, the benchmark set used in the experimental evaluation, the different versions of the model used in the running example, and the scripts to run the experiments and the running example. Please refer to the README files contained in the zip for further details.