investigate the use of tooltips with dot
In some cases automata store debugging data that take too much space to display in the dot output (e.g., Kripke structure, or the result of the determinization of a large automaton).
We should see if graphviz's support for tooltips can be of any help (especially when displaying SVG in jupyter), and if so, add an option to print_dot()
(maybe i
for tooltIp
).