Artifact for Paper: On tolerance of discrete systems with respect to transition perturbations

This is an artifact supplemented with the TACAS 2022 submission Romulo Meira-Goes, Eunsuk Kang, Stephane Lafortune, and Stavros Tripakis: **On tolerance of discrete systems with respect to transition perturbations**. This is a prototype implementation of the tolerance tool. The implementation assumes the user should provide the system modeled as an LTS, a controller, and an invariance property. The tool automatically computes the tolerance of the given controller. Moreover, the tool can also synthesize the most tolerant, the least tolerant, and the controller that achieves a given minimum threshold of tolerance. 

The source code for the tool is included as well as the necessary libraries for compiling it. Additionally, this artifact contains the means to reproduce the experimental results from the paper.