Repdigit/Palindrome checker
Benchmark models
Register model Palindrome
From the register model we derived some extra mealy models by flattening which are listed in ExtraMealy.