Download: Difference between revisions

No edit summary
Line 69: Line 69:


== tcl/tk ==
== tcl/tk ==
Please note that tcl/tk 8.6 is '''not yet supported''' by SICStus Prolog.  
Please note that tcl/tk 8.6 is not yet supported by SICStus Prolog.  


== Earlier Releases ==
== Earlier Releases ==


If you are interested in earlier releases, please have a look at the [http://www.stups.uni-duesseldorf.de/ProB_Releases/ Download directory].
If you are interested in earlier releases, please have a look at the [http://www.stups.uni-duesseldorf.de/ProB_Releases/ Download directory].

Revision as of 10:28, 12 July 2010

Latest Release

Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.

Platform Release Date Download Dependencies
1.3.2-beta
Linux 31.03.2010 11.02.2010 31.03.2010 Tarball, Ubuntu/Debian package, Tarball (64bit, no Z & nauty) Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
Windows 10.06.2010 Zipfile (with probcli) Tcl/Tk 8.4 for Windows,

Java Runtime Environment (5.0 or newer)

Mac OS X, Snow Leopard, Intel 30.06.2010 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

Mac OS X, Leopard, Intel 19.02.2010 Tarball Tcl/TK 8.5,

Graphviz for Mac OS X

Mac OS X, Tiger, Intel 11.02.2010 Tarball Tcl/TK 8.4,

Graphviz for Mac OS X

1.3.1final
Mac OS X, Snow Leopard 13.01.2010 Tarball Tcl/TK 8.5 (for Leopard),

Graphviz for Mac OS X

Linux 13.01.2010 Tarball Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
Windows 13.01.2010 Zipfile Tcl/Tk 8.4 for Windows,

Java Runtime Environment (5.0 or newer)

Mac OS X, PPC Tiger 07.12.2009 Tarball Tcl/TK 8.5,

Graphviz for Mac OS X

tcl/tk

Please note that tcl/tk 8.6 is not yet supported by SICStus Prolog.

Earlier Releases

If you are interested in earlier releases, please have a look at the Download directory.