| Line 8: | Line 8: | ||
[http://cs.swansea.ac.uk/~csnga/timed-csp-simulator.html Swansea University (UK)] is available on here: | [http://cs.swansea.ac.uk/~csnga/timed-csp-simulator.html Swansea University (UK)] is available on here: | ||
[https://www3.hhu.de/stups/downloads/prob/timed-csp/ https://www3.hhu.de/stups/downloads/prob/timed-csp/] | [https://www3.hhu.de/stups/downloads/prob/timed-csp/ https://www3.hhu.de/stups/downloads/prob/timed-csp/] | ||
{| border="1" cellpadding="30" | |||
! Platform | |||
! Release Date | |||
! Download (64 bit) | |||
! Dependencies | |||
|- | |||
| colspan="4" style="background-color:lightgrey;" | 1.9.3-final | |||
|- | |||
| Linux | |||
| 19.2.2020 | |||
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.linux64.tar.gz Tarball]<br/> | |||
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/> | |||
Tcl/Tk 8.5, [http://www.graphviz.org/download/ GraphViz] | |||
|- | |||
| colspan="4" style="background-color:lightgrey;" style="height:20px; | | |||
|- | |||
| Windows | |||
| 19.2.2020 | |||
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/> | |||
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows], | |||
[http://java.com/en/ Java Runtime Environment (7.0 or newer)] or [https://adoptopenjdk.net Adopt JDK],<br/> | |||
[http://www.graphviz.org/download/ GraphViz], <br/> | |||
[[Windows Installation Instructions]] | |||
|- | |||
| colspan="4" style="background-color:lightgrey;" style="height:20px; | | |||
|- | |||
| OS X | |||
| 19.2.2020 | |||
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB_1.9.3.mac_os.notarized.zip Zipfile] (notarized) <br/> | |||
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] | |||
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., [http://downloads.activestate.com/ActiveTcl/releases/8.5.18.0/ 8.5.18.0]), | |||
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] or [https://adoptopenjdk.net Adopt JDK], <br/> | |||
[http://www.graphviz.org/download/ Graphviz] | |||
|} | |||
Below are details for releases 1.9.1 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 (64 bit) | Dependencies |
|---|---|---|---|
| 1.9.3-final | |||
| Linux | 19.2.2020 | Tarball |
Java Runtime Environment (7.0 or newer) or Adopt JDK, Tcl/Tk 8.5, GraphViz |
| Windows | 19.2.2020 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java Runtime Environment (7.0 or newer) or Adopt JDK, |
| 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 Runtime Environment or better Java JDK or Adopt JDK, |
| Platform | Release Date | Download (64 bit) | Dependencies |
|---|---|---|---|
| 1.9.2-release | |||
| Linux | 11.11.2019 | Tarball |
Java Runtime Environment (7.0 or newer) or Adopt JDK, Tcl/Tk 8.5, GraphViz |
| Windows | 11.11.2019 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java Runtime Environment (7.0 or newer) or Adopt JDK, |
| OS X | 11.11.2019 | Tarball |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java Runtime Environment or better Java JDK or Adopt JDK, |
| Platform | Release Date | Download (64 bit) | Dependencies |
|---|---|---|---|
| 1.9.1-release | |||
| Linux | 8.11.2019 | Tarball |
Java Runtime Environment (7.0 or newer) or Adopt JDK, Tcl/Tk 8.5, GraphViz |
| Windows | 8.11.2019 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java Runtime Environment (7.0 or newer) or Adopt JDK, |
| OS X | 8.11.2019 | Tarball |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java Runtime Environment or better Java JDK or Adopt JDK, |
| Platform | Release Date | Download (64 bit) | Dependencies |
|---|---|---|---|
| 1.9.0-release | |||
| Linux | 12.7.2019 | Tarball |
Java Runtime Environment (7.0 or newer) or Adopt JDK, Tcl/Tk 8.5, GraphViz |
| Windows | 12.7.2019 | Zipfile (Tcl/Tk 8.6), Zipfile (Tcl/Tk 8.5) |
Tcl/Tk for Windows,
Java Runtime Environment (7.0 or newer) or Adopt JDK, |
| OS X | 12.7.2019 | Tarball |
OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),
Java Runtime Environment or better Java JDK or Adopt JDK, |
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.8.2-final | |||
| Linux | 1.10.2018 | Tarball (with probcli) (32bit), Tarball (with probcli) (64bit) |
Java Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK or openJDK (7.0 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 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 |