| models.all.zip Δ | 1,440,153K | September 02, 2020, at 02:17 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 Δ | 69,583K | September 02, 2020, at 02:15 PM |
| models.Moore.zip Δ | 684,076K | August 23, 2018, at 01:15 PM |
| models.Register.zip Δ | 88K | September 03, 2018, at 05:30 PM |
| stm.zip Δ | 8,044K | September 04, 2018, at 01:07 AM |