Below are details for releases 1.8.0 back to 1.3.1. If you are interested in earlier releases, please have a look at the Download directory.
A version of ProB with built-in support for timed CSP developed by Swansea University (UK) is available on here: https://www3.hhu.de/stups/downloads/prob/timed-csp/
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.8.0-final | |||
| Linux | 20.3.2018 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5, GraphViz |
| Windows | 20.3.2018 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java Runtime Environment (7.0 or newer), Windows Installation Instructions GraphViz |
| OS X | 20.3.2018 | Tarball (with probcli) (64bit) Homebrew Tap | OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X |
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.7.1-final | |||
| Linux | 5. October 2017 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5 |
| Windows | 5. October 2017 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java Runtime Environment (7.0 or newer), Windows Installation Instructions GraphViz |
| OS X | 12. October 2017 | Tarball (with probcli) (64bit) Homebrew Tap | OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X |
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.7.0-final | |||
| Linux | 11. July 2017 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5 |
| Windows | 11. July 2017 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java Runtime Environment (7.0 or newer), Windows Installation Instructions GraphViz |
| OS X | 11. July 2017 | Tarball (with probcli) (64bit) Homebrew Tap | OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,
Java Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X |
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.6.1-final | |||
| Linux | 22. April 2016 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5 |
| Windows | 22. April 2016 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java Runtime Environment (7.0 or newer), Windows Installation Instructions GraphViz |
| OS X | 22. April 2016 | Tarball (with probcli) (64bit) Homebrew Tap | OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,
Java Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X |