[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: dot/graphviz visualization for TLC

Once we developed a feeling for how useful this feature really is,

Can you give us the algorithm you use. Tlaplus+ comments
is good choice (Reading the code is not a goog one).

Having the algorithm will give us the ability to make sense of
all that and to develop the feeling required above.