Installing ProB with Graphviz on Mac (OSX)
To run ProB with Graphiz on mac:
Note: Make sure you have java installed (version 7.0 or newer as per theProB documentation)
- Download the Tarball (with probcli) (64bit) available here :https://www3.hhu.de/stups/prob/index.php/Download
- Extract the tarball.
- Now, open the Terminal and run the following commands:
- cd [path_to_extracted_folder]
sh StartProB.sh
- The ProB window should launch and appear as follows:
- Download and install Graphiz dmg for mac from here
- Once installed, you need to tell Prob where to find the graphviz.pp for Visualization
- To do so open Preferences > Graphical Viewer Preferences and select Path/Command for dotty viewer (e.g., dotty)
- Locate Graphviz. It will typically be in /Applications/Graphviz.app and click Finished
- Now open a sample project by clicking on File > Open > [ProB_folder] > examples > GraphicalAnimation > Hanoi.mch on the Prob menu
- Click on Animate > Random Animation (10) to run the animation
- Then click on Visualize > States > Current State as Graph which will show you the graph as follows:
