Below are details for releases going back to ProB 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://stups.hhu-hosting.de/downloads/prob/timed-csp/
Platform | Release Date | Download | Dependencies |
---|---|---|---|
1.12.1 | |||
Linux | 30.4.2023 | Tarball |
Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz |
Windows | 30.4.2023 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer ( for Oracle's Java 17 read instructions below), GraphViz, Windows Installation Instructions |
macOS | 30.4.2023 | Zipfile (Universal Arm/Intel notarized) Homebrew Tap (not yet updated) |
macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below) |
Platform | Release Date | Download | Dependencies |
---|---|---|---|
1.12.0 | |||
Linux | 4.4.2023 | Tarball |
Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz |
Windows | 4.4.2023 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer ( for Oracle's Java 17 read instructions below), GraphViz, Windows Installation Instructions |
macOS | 4.4.2023 | Zipfile (Arm notarized) Zipfile (Intel notarized) Homebrew Tap (not yet updated) |
macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below) |
Platform | Release Date | Download | Dependencies |
---|---|---|---|
1.11.1 | |||
Linux | 29.12.2021 | Tarball |
Java 8 or newer (see below), Tcl/Tk 8.5 (see below), GraphViz |
Windows | 29.12.2021 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer ( for Oracle's Java 17 read instructions below), GraphViz, Windows Installation Instructions |
macOS | 29.12.2021 | Zipfile (notarized) |
macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below) |
Platform | Release Date | Download (64 bit) | Dependencies |
---|---|---|---|
1.11.0 | |||
Linux | 6.10.2021 | Tarball |
Java 8 or newer, Tcl/Tk 8.5, GraphViz |
Windows | 6.10.2021 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java 8 or newer, GraphViz, |
OS X | 6.10.2021 | Zipfile (notarized Tk 8.5) Zipfile (notarized Tk 8.6) |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java 8 or newer, Graphviz |
Platform | Release Date | Download (64 bit) | Dependencies |
---|---|---|---|
1.10.2 | |||
Linux | 21.1.2021 | Tarball |
Java 8 or newer, Tcl/Tk 8.5, GraphViz |
Windows | 21.1.2021 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java 8 or newer, GraphViz, |
OS X | 21.1.2021 | Zipfile (notarized) |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java 8 or newer, Graphviz |
Platform | Release Date | Download (64 bit) | Dependencies |
---|---|---|---|
1.10.0-final | |||
Linux | 15.12.2020 | Tarball |
Java 8 or newer, Tcl/Tk 8.5, GraphViz |
Windows | 15.12.2020 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java 8 or newer, GraphViz, |
OS X | 15.12.2020 | Zipfile (notarized) |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java 8 or newer, Graphviz |
Platform | Release Date | Download (64 bit) | Dependencies |
---|---|---|---|
1.9.3-final | |||
Linux | 19.2.2020 | Tarball |
Java 7 or newer, Tcl/Tk 8.5, GraphViz |
Windows | 19.2.2020 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java 7 or newer, GraphViz, |
OS X | 19.2.2020 | Zipfile (notarized) |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java 7 or newer, Graphviz |
Platform | Release Date | Download (64 bit) | Dependencies |
---|---|---|---|
1.9.2-release | |||
Linux | 11.11.2019 | Tarball |
Java 7 or newer, Tcl/Tk 8.5, GraphViz |
Windows | 11.11.2019 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java 7 or newer, GraphViz, |
OS X | 11.11.2019 | Tarball |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java 7 or newer, Graphviz for Mac OS X |
Platform | Release Date | Download (64 bit) | Dependencies |
---|---|---|---|
1.9.1-release | |||
Linux | 8.11.2019 | Tarball |
Java 7 or newer, Tcl/Tk 8.5, GraphViz |
Windows | 8.11.2019 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java 7 or newer, GraphViz, |
OS X | 8.11.2019 | Tarball |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java 7 or newer, Graphviz for Mac OS X |
Platform | Release Date | Download (64 bit) | Dependencies |
---|---|---|---|
1.9.0-release | |||
Linux | 12.7.2019 | Tarball |
Java 7 or newer, Tcl/Tk 8.5, GraphViz |
Windows | 12.7.2019 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java 7 or newer, GraphViz, |
OS X | 12.7.2019 | Tarball |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java 7 or newer, Graphviz for Mac OS X |
Platform | Release Date | Download | Dependencies |
---|---|---|---|
1.8.2-final | |||
Linux | 1.10.2018 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java 7 or newer, Tcl/Tk 8.5, GraphViz |
Windows | 1.10.2018 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java 7 or newer, Windows Installation Instructions GraphViz |
OS X | 1.10.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 7 or newer, Graphviz for Mac OS X |
Platform | Release Date | Download | Dependencies |
---|---|---|---|
1.8.0-final | |||
Linux | 20.3.2018 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java 7 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 7 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 7 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 7 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 7 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 7 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 7 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 7 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 7 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 7 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 7 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 7 or newer, Graphviz for Mac OS X |
Platform | Release Date | Download | Dependencies |
---|---|---|---|
1.6.0-SR1 | |||
Linux | 22. April 2016 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java 7 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 7 or newer, Windows Installation Instructions |
OS X | 22. April 2016 | Tarball (with probcli) (64bit) Homebrew Tap | OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,
Java 7 or newer, Graphviz for Mac OS X |
1.5.0-final | |||
Linux | 19. February 2015 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java 5.0 or newer, Tcl/Tk 8.5 |
Windows | 19. February 2015 | Zipfile (with probcli) (32bit), Zipfile (with probcli) (64bit) |
Tcl/Tk 8.5 for Windows,
Java 5.0 or newer, Windows Installation Instructions |
OS X | 19. February 2015 | Tarball (with probcli) (64bit) Homebrew Tap | Tcl/TK 8.5
Java 5.0 or newer, Graphviz for Mac OS X |
1.3.6-final | |||
Linux | 4. March 2013 | Tarball (32bit), Tarball (64bit), |
Java 5.0 or newer, Tcl/Tk 8.5 |
Windows | 4. March 2013 | Zipfile (with probcli) | Tcl/Tk 8.5 for Windows,
Java 5.0 or newer, Windows Installation Instructions |
Mac OS X, Snow Leopard, Intel (64-bit) | 4. March 2013 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13) |
Mac OS X, Leopard, Intel (32-bit) | 4. March 2013 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11), |