21 Oct
2020
21 Oct
'20
10:49 a.m.
On Wed, Oct 21, 2020 at 10:15 AM רועי פוגלר <roi.fogler@gmail.com> wrote:
How can I print the automata graph? aut.show() and display(aut) does not work in simple python file (not jupyter notebook)
print(aut.to_str('dot')) print(aut.to_str('hoa')) print(aut.to_str('spin')) Any option that you would pass to --dot, --hoa, or --spin on the command line can be passed as a second argument to to_str().