| example_models.zip Δ | 5K | September 22, 2026, at 01:48 PM |
| models.all.zip Δ | 1,451,256K | September 26, 2026, at 08:51 AM |
| models.DFA.zip Δ | 686,398K | September 26, 2026, at 08:49 AM |
| models.Interface.zip Δ | 318 | August 16, 2018, at 12:28 AM |
| models.Mealy.zip Δ | 70,096K | September 26, 2026, at 08:50 AM |
| models.Moore.zip Δ | 694,656K | September 26, 2026, at 08:50 AM |
| models.Register.zip Δ | 88K | September 03, 2018, at 05:30 PM |
| stm.zip Δ | 8,044K | September 04, 2018, at 01:07 AM |