Download: Difference between revisions

No edit summary
Line 69: Line 69:
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.1-final
| colspan="4" style="background-color:lightgrey;" | 1.3.1-final
|-
| Mac OS X, Snow Leopard
| 13.01.2010
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-snowleopard-1.3.1final5.tar.gz Tarball]
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5 (for Leopard)],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| Linux  
| Linux  
Line 80: Line 74:
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball]
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
|-
| Windows
| 13.01.2010
| [http://www.stups.uni-duesseldorf.de/ProB_Releases/1.3.1final5/ProB-win-1.3.1final5.zip Zipfile]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
|-
| Mac OS X, PPC Tiger
| Mac OS X, PPC Tiger

Revision as of 12:07, 17 March 2011

Latest Release

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

Platform Release Date Download Dependencies
1.3.3-final
Linux 10.02.2011 Tarball (32bit),
Tarball (64bit),
Ubuntu/Debian package (32bit)
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
Windows 10.02.2011 Zipfile (with probcli) Tcl/Tk 8.4 for Windows,

Java Runtime Environment (5.0 or newer)

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

Graphviz for Mac OS X

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

Graphviz for Mac OS X

1.3.2-final
Linux 30.07.2010 Tarball (32bit),
Tarball (64bit),
Ubuntu/Debian package (32bit)
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
Windows 30.07.2010 Zipfile (with probcli) Tcl/Tk 8.4 for Windows,

Java Runtime Environment (5.0 or newer)

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

Graphviz for Mac OS X

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

Graphviz for Mac OS X

Mac OS X, Tiger, Intel 30.07.2010 Tarball (with probcli) Tcl/TK 8.4,

Graphviz for Mac OS X

1.3.1-final
Linux 13.01.2010 Tarball Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
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. Also note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog). On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above.

Nightly Build

You can download our nightly integration build from here.

Earlier Releases

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