Toy models
Benchmark models
This benchmark contains toy Mealy machine models from several papers: [Vaa17], [LY96],[Naik97].
