McRaceTrack Model Checker
First public release on December 5, 2015.
Actual solutions produced by the tool:
This is a model checker and visualizer for the c't race track puzzle as published in the German computer journal c't 2015 issue 25. See the README, which comes with the source code for more information on McRaceTrack. It also has been used in our course on Model Checking to help explaining explicit state model checking.