[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] How to visualize the state graph?
On 07.11.18 00:05, Alen wrote:
> I met some questions when using Gephi to open the dot output. It cannot
> recognize some edges in the file. So the graph it shows is totally
> different from toolbox graph. Here is the spec (from the hyperbook) and
> the dot output I used. Is it necessary to modify the file before I use it?
can you try with the most recent Toolbox build ? Commits 
addresses incompatibilities with external viewers. You might also want
to try Cytoscape's  dot import  which recently fixed an important