[console_scripts]
ltlf2dfa = ltlf2dfa.__main__:cli

