#MICROSOFT VC80 DOWNLOAD INSTALL#
In case you cannot start neither ProBWin nor probcli, you should to install the Microsoft Visual C++ 2005 Redistributable Package (x86) for yourself (rather than rely on the ones we provide in the "" folder mentioned above).
Tcl/Tk: be sure to have a 32-bit version of TclTk 8.5 installed.Otherwise you will not be able to parse your own classical B machines as our parser is written in Java. Java: be sure to have Java 1.5 or newer installed.Try to open some of the examples provided in the Examples folder shown above.Start ProB by double-clicking on the ProBWin icon above.Install the "dot" program and "dotty" viewer from AT&T's Graphviz package ( or ).The subfolder called "" contains the DLLs for the Microsoft C runtime.
0 kommentar(er)
