‪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().