ltlfilt
ltl2tgba
randltl
genltl
*.a
*.1