Skip to content

reading and writing CSV files should work for tools that produce automata too

ltl2tgba, autfilt, ltldo,... should have support for --csv, %< and %>, and maybe something like '%O' to output the automaton in the --stats.

autfilt should support reading from filename/COL. The first use-case would be to read the automata in the CSV files produced by ltlcross.