Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.3.2-final | |||
| Linux | 30.07.20100 30.07.2010 30.07.2010 | Tarball, Ubuntu/Debian package, Tarball (64bit) | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 |
| Windows | 30.07.2010 | Zipfile (with probcli) | Tcl/Tk 8.4 for Windows, |
| Mac OS X, Snow Leopard, Intel | 30.07.2010 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Leopard, Intel | 30.07.2010 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Tiger, Intel | 30.07.2010 | Tarball (with probcli) | Tcl/TK 8.4, |
| 1.3.1final | |||
| Mac OS X, Snow Leopard | 13.01.2010 | Tarball | Tcl/TK 8.5 (for Leopard), |
| 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, |
| Mac OS X, PPC Tiger | 07.12.2009 | Tarball | Tcl/TK 8.5, |
Please note that tcl/tk 8.6 is not yet supported by SICStus Prolog.
If you are interested in earlier releases, please have a look at the Download directory.