Enumerate all possibles SCCs/automata of size N
A tool enumerating all SCCs structure of size N would be useful in many situations (for instance, run an algorithm on all small instances to ensure that no case is missed).
Such a tool may also produce all automata structure of size N.
Such a tool may be latter to generate all automata according to a given acceptance mark.