This was a Dart implementation of the Moser-Tardos resample algorithm, which is an algorithmic version of the Lovász local lemma.
It was written for visualization purposes for the paper The Moser-Tardos Resample algorithm: Where is the limit? published in ALENEX 2017.