| models.all.zip Δ | 1,449,249K | December 08, 2025, at 06:00 PM |
| 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 Δ | 70,062K | December 08, 2025, at 05:59 PM |
| 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 |