| models.all.zip Δ | 1,448,953K | November 10, 2025, at 11:01 AM |
| models.DFA.zip Δ | 686,397K | August 17, 2018, at 10:23 AM |
| models.Interface.zip Δ | 318 | August 16, 2018, at 12:28 AM |
| models.Mealy.zip Δ | 69,770K | November 10, 2025, at 11:00 AM |
| models.Moore.zip Δ | 692,684K | November 10, 2025, at 10:59 AM |
| models.Register.zip Δ | 88K | September 03, 2018, at 05:30 PM |
| stm.zip Δ | 8,044K | September 04, 2018, at 01:07 AM |