Installing Prob and configuring Graphviz on Windows

Want to configure Graphviz to run with ProB? Flow these steps:
  1. Download Prob from https://www3.hhu.de/stups/prob/index.php/Download (You should find an archive; zip or rar)
  2. Extract the archive
  3. Install ActiveTcl (alternatively ActiveTcl can be downloaded from: http://www.activestate.com/activetcl/downloads)
  4. Once Installed you should see a screen like this
  5. After Tcl has been installed, run the ProB application by executing the ProBWin.exe located in the ProB > ProB.windows32 (1) of the extracted archive
  6. Now open a sample file such as Hanio.mch located in the GraphicalAniation Folder:

    1. File > Open > Hanoi.mch

  7. Once opened, try to run the visualization: Visualize > States > Current State as Graph

  8. If you have not installed or configured graphviz, you should see the this error message:
  9. In order to fix this an run the visualization, you need to install graphviz and tell ProB where the dotty.exe is located. In order to do that you will first have to download and install graphviz
  10. Next, to configure ProB to use the newly installed graphiviz, click on Preferences > Graphical Viewer Preferences… > Path/Command for dot viewer (e.g., dotty) > Pick sdf
  11. Now you have to locate dotty.exe. Typically this would be in Locate dotty.exe C:\Program Files (x86)\Graphviz2.38\bin\dotty.exe
  12. That's voila! Now you can re run the visualization by clicking Visualize > States > Current State as Graph

Note:
If you stumbled on this error while trying to run ProB, then you have not installed java and you need to: