Graphviz visualization issue in ProB: dot viewer configuration error
Description
Environment
Operating System: Windows 11
Graphviz Version: 12.2.0
Installation Path: C:\Program Files\Graphviz\bin
Installed Components: dot, gv2gxl, graphml2gv (in bin directory), graphviz, Tcl
Attachments
Activity

Michael Leuschel December 2, 2024 at 6:12 PM
Thanks for your proposal to update the documentation. You can send me textual changes by email; I will investigate if we can set up Wikimedia to enable change requests. Note: I found out that there is a VS Code extension that can view .dot files (Graphviz Interactive Preview); I hope it works on Windows too.

Park Lay December 2, 2024 at 3:52 PM
Yes, ; I have indeed ended up picking up PDF, and it worked nicely. I can visualize my state space. I think the documentation is obsolete and can be very misleading (I spent a couple of hours on this dotty issue, and I was having doubts on my ProB version, etc).
I would gladly help update the documentation if there is a clear roadmap on that, and someone can guide me through and review. Please, let me know your thoughts, and if that’s doable.

Michael Leuschel December 2, 2024 at 3:43 PM
I think that GraphViz no longer distributes the dotty visualisation program for .dot files (at least on Windows). Can you try choosing PS or PDF output in the Preferences → Graphical Viewer sub-menu? This will use the dot command-line tool to convert .dot into .pdf files. We should probably now make the PDF viewer the default, as on Mac I also am no longer able to find a working .dot viewer application.

Park Lay November 29, 2024 at 10:23 AM
This is a blocking issue; so I would greatly appreciate if you could help solve this. Please let me know if you need anything.
Thank you
Details
Details
Assignee

Reporter

ProB is unable to properly visualize state spaces despite Graphviz being correctly installed:
Graphviz 12.2.0 is properly installed with all plugins activated
dot -c command has been run as administrator
Required plugins (gvplugin_dot_layout.dll and gvplugin_core.dll) are loaded
Configuration file at C:\Program Files\Graphviz\bin\config6 is successfully loaded
System shows all necessary rendering capabilities
Issue appears to be related to ProB's path_to_dottry preference configuration