We are applying for the RE'20 Artifacts Available badge as the package is functional and accessible through the following doi:
We are also applying for the Artifacts Reusable badge as we have demonstrated how the tool can be used to formally specify contracts in our paper.