CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson
No issues in this repository yet.