A library to test any finite automaton with arbitrary alphabets