State2Dot¶

A command-line Python script to convert printed states (e.g. the output of print -d 100 s1) to a GraphViz DOT file. You can then use that DOT file with GraphViz to produce a graph that can help you visualize the working memory elements that compose the state.