--output option
autfilt
and other automata-producing tools should support an option like --output=FILENAMEFORMAT
to bin automata from a stream into different files. For instance --output=aut-%s.hoa
should put all automata with 2 states in aut-2.hoa
, all automata with 3 states in aut-3.hoa
, etc.