[console_scripts]
autoelect = sjtu_automata.autoelect:cli

