Bartholdi LoadPackage("fr"); Draw(NucleusMachine(BasilicaGroup),"a.dot"); Saves output to a.dot files : digraph MealyMachine { a [shape=circle] b [shape=circle]...
.svg){kind=link}