summaryrefslogtreecommitdiff
path: root/dot.lua
AgeCommit message (Expand)Author
14 daysCalculate minimum distances to meaningful nodes in transformation graphAki
2024-11-07Dump automaton to a graphviz digraphAki