hs with at most around a hundred states.</b></p>
<p>
In order to visualize a state graph, the path to the <em>dot</em> executable of the
<a href="http://www.graphviz.org/">GraphViz</a> project has to be set under <em>Specify dot command</em> on the <em>PDF viewer</em> preference
page on the File/Preferences menu. On macOS dot is most easily installed with the ports system. Homebrew has a Graphviz port too.
On Windows, GraphViz can be obtained through Cygwin or installed standalone. On most Linux derivatives