MFCS Release

Artifact for our paper “Deciding Termination of Simple Randomized Loops”. Please consult the README.md for information on how this artifact can be used.