5 ms·fun fact, the same guy (G Holzman) also made the Spin model checkerby fallingmeat 2y agofun fact, the same guy (G Holzman) also made the Spin model checker