DownloadPriorVersions: Difference between revisions

No edit summary
 
(31 intermediate revisions by 2 users not shown)
Line 1: Line 1:
== Prior Versions of ProB ==
{{DISPLAYTITLE:Prior Versions of ProB}}
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 [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/ Download directory].


A version of ProB with built-in support for timed CSP  developed by
[http://cs.swansea.ac.uk/~csnga/timed-csp-simulator.html Swansea University (UK)] is available on here:
https://stups.hhu-hosting.de/downloads/prob/timed-csp/


Below are details for releases 1.6.0 back to 1.3.1.
Nightly builds of ProB 2 (deprecated) for Rodin 3 can be obtained from within Rodin using the update site https://stups.hhu-hosting.de/rodin/prob2/nightly/ (this will probably be replaced by a Java FX version in the future)
If you are interested in earlier releases, please have a look at the [http://nightly.cobra.cs.uni-duesseldorf.de/releases/ Download directory].




{| border="1"
A hot-fix release of 1.12.0 is available here: [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2-fix1/ https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2-fix1/].
 
{| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->
! Platform
! Release Date
! Download
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.12.2
|-
| Linux
| 10.8.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2/ProB.linux64.tar.gz Tarball]<br/>
| Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Linux|see below]]), [https://www.graphviz.org/download/ GraphViz]
|-
| Windows
| 10.8.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
|-
| macOS
| 10.8.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2/ProB.macos.zip Zipfile] (Universal ARM/Intel notarized)<br/>
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] (not yet updated)
| macOS 10.14 (Mojave) or newer, Tcl/Tk ([[#Tcl/Tk on macOS|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]])
|}
 
 
{| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->
! Platform
! Platform
! Release Date
! Release Date
Line 12: Line 44:
! Dependencies
! Dependencies
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.12.1
|-
| Linux
| 30.4.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.linux64.tar.gz Tarball]<br/>
| Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Linux|see below]]), [https://www.graphviz.org/download/ GraphViz]
|-
| Windows
| 30.4.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
|-
| macOS
| 30.4.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.1/ProB.macos.zip Zipfile] (Universal ARM/Intel notarized)<br/>
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] (not yet updated)
| macOS 10.14 (Mojave) or newer, Tcl/Tk ([[#Tcl/Tk on macOS|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]])
|}
{| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->
! Platform
! Release Date
! Download
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.12.0
|-
| Linux
| 4.4.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB.linux64.tar.gz Tarball]<br/>
| Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Linux|see below]]), [https://www.graphviz.org/download/ GraphViz]
|-
| Windows
| 4.4.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
|-
| macOS
| 4.4.2023
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.aarch64.notarized.zip Zipfile] (ARM notarized)<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.0/ProB_mac_os.x86_64.notarized.zip Zipfile] (Intel notarized)<br/>
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap] (not yet updated)
| macOS 10.14 (Mojave) or newer, Tcl/Tk ([[#Tcl/Tk on macOS|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]])
|}
{| class="table table-bordered wikitable" <!-- table and table-bordered for Bootstrap (ProB skin), wikitable for MediaWiki (Vector, MonoBook, etc. skins) -->
! Platform
! Release Date
! Download
! Dependencies
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.6.0-SR1
| colspan="4" style="background-color:lightgrey;" | 1.11.1
|-
|-
| Linux  
| Linux  
| 22. April 2016
| 29.12.2021
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB.linux64.tar.gz Tarball]<br/>
| [http://java.com/en/ Java Runtime Environment (7.0 or newer)], Tcl/Tk 8.5
| Java 8 or newer ([[#Java Requirements for B parser|see below]]), Tcl/Tk 8.5 ([[#Tcl/Tk on Linux|see below]]), [https://www.graphviz.org/download/ GraphViz]
|-
| Windows
| 29.12.2021
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)
| Tcl/Tk 8.5 or 8.6 ([[#Tcl/Tk on Windows|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ GraphViz], [[Windows Installation Instructions]]
|-
| macOS
| 29.12.2021
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.1/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized)  <br/>
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| macOS 10.14 (Mojave) or newer, Tcl/Tk ([[#Tcl/Tk on macOS|see below]]), Java 8 or newer ([[#Java Requirements for B parser|see below]]), [https://www.graphviz.org/download/ Graphviz] ([[#Graphviz_Requirements|see below]])
|}
 
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download (64 bit)
! Dependencies
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; |
| colspan="4" style="background-color:lightgrey;" | 1.11.0
|-
|-
| Windows
| Linux
| 22. April 2016
| 6.10.2021
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB.linux64.tar.gz Tarball]<br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| Java 8 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5], [http://www.graphviz.org/download/ GraphViz]
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]]
|-
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
| Windows
| 6.10.2021
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk  for Windows],
Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>
[[Windows Installation Instructions]]
|-
|-
| OS X
| OS X
| 22. April 2016
| 6.10.2021
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.0/ProB.mac_os.10.11.4.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized Tk 8.5)  <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.11.0/ProB_mac_os.x86_64.Tk86.notarized.zip Zipfile] (notarized Tk 8.6)   <br/>
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] (7.0 or newer),
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0),
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
Java 8 or newer, [http://www.graphviz.org/download/ Graphviz]
|}
 
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download (64 bit)
! Dependencies
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.5.0-final
| colspan="4" style="background-color:lightgrey;" | 1.10.2
|-
|-
| Linux  
| Linux  
| 19. February 2015
| 21.1.2021
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.5.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB.linux64.tar.gz Tarball]<br/>
| Java Runtime Environment (7.0 or newer), Tcl/Tk 8.5
| Java 8 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| Windows
| Windows
| 19. February 2015
| 21.1.2021
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB.windows64-tcltk-85.zip Zipfile] (Tcl/Tk 8.5) <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [https://www.activestate.com/products/tcl/downloads/ Tcl/Tk for Windows],
[http://java.com/en/ Java Runtime Environment (7.0 or newer)], [[Windows Installation Instructions]]
Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>
[[Windows Installation Instructions]]
|-
|-
| OS X
| OS X
| 19. February 2015
| 21.1.2021
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.5.0/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.2/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized) <br/>
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[http://java.com/en/ Java Runtime Environment] or better [http://www.oracle.com/technetwork/java/javase/downloads/index.html Java JDK] (7.0 or newer)
| OS X 10.9 (Mavericks) or newer, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (e.g., 8.5.18.0),
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
Java 8 or newer, [http://www.graphviz.org/download/ Graphviz]
|}
 
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download (64 bit)
! Dependencies
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.6-final
| colspan="4" style="background-color:lightgrey;" | 1.10.0-final
|-
|-
| Linux  
| Linux  
| 4. March 2013
| 15.12.2020
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.linux32.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.linux64.tar.gz Tarball (64bit)],<br/>
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB.linux64.tar.gz Tarball]<br/>
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
| Java 8 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| Windows
| Windows
| 4. March 2013
| 15.12.2020
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.windows.zip Zipfile (with probcli)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)], [[Windows Installation Instructions]]
Java 8 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>
[[Windows Installation Instructions]]
|-
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| OS X
| 4. March 2013
| 15.12.2020
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli)]  
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.10.0-final/ProB_mac_os.x86_64.notarized.zip Zipfile] (notarized) <br/>
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11] or use at least 8.5.13)
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
| 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]),
Java 8 or newer, [http://www.graphviz.org/download/ Graphviz]
|}
 
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download (64 bit)
! Dependencies
|-
|-
| Mac OS X, Leopard, Intel (32-bit)
| colspan="4" style="background-color:lightgrey;" | 1.9.3-final
| 4. March 2013
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.6/ProB.mac_os.10.5.8.i386.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]  (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11]),
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.5-final
|-
|-
| Linux  
| Linux  
| 11.&nbsp;Oct&nbsp;2012
| 19.2.2020
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.linux32.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.linux64.tar.gz Tarball (64bit)],<br/>
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.3/ProB.linux64.tar.gz Tarball]<br/>
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
|-
|-
| Windows
| Windows
| 11. Oct 2012
| 19.2.2020 
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.windows.32bit.zip Zipfile (with probcli)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.3/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/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 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)], [[Windows Installation Instructions]]
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>
[[Windows Installation Instructions]]
|-
| OS X
| 19.2.2020
| [https://stups.hhu-hosting.de/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]),
Java 7 or newer, [http://www.graphviz.org/download/ Graphviz]
|}
 
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download (64 bit)
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.9.2-release
|-
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| Linux
| 11. Oct 2012
| 11.11.2019
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.mac_os.10.6.tar.gz Tarball (with probcli)]  
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.2/ProB.linux64.tar.gz Tarball]<br/>
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11] or use at least 8.5.13)
| Java 7 or newer, Tcl/Tk 8.5, [http://www.graphviz.org/ GraphViz]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| Mac OS X, Leopard, Intel (32-bit)
| Windows
| 11. Oct 2012
| 11.11.2019 
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.mac_os.10.5.tar.gz Tarball (with probcli)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.2/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.2/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5)  <br/>
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11]),
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk  for Windows],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>
[[Windows Installation Instructions]]
|-
|-
| Mac OS X, Lion, Intel (64-bit)
| OS X
| 11. Oct 2012
| 11.11.2019
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.mac_os.10.7.5.zip Zipfile (with probcli)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.2/ProB.mac_os.x86_64.tar.gz Tarball] <br/>
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.6],
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
| 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]),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
 
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download (64 bit)
! Dependencies
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.4-final
| colspan="4" style="background-color:lightgrey;" | 1.9.1-release
|-
|-
| Linux  
| Linux  
| 27.&nbsp;Nov&nbsp;2011
| 8.11.2019
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux32.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux64.tar.gz Tarball (64bit)],<br/>
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.1/ProB.linux64.tar.gz Tarball]<br/>
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 with tklib (see [[#tklib|below]])
| Java 7 or newer, Tcl/Tk 8.5[http://www.graphviz.org/ GraphViz]
|-
|-
| Windows
| Windows
| 27. Nov 2011
| 8.11.2019 
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.windows.32bit.zip Zipfile (with probcli)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.1/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.1/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows] with tklib (see [[#tklib|below]]),
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>
[[Windows Installation Instructions]]
|-
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| OS X
| 27. Nov 2011
| 8.11.2019
|  [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.6.tar.gz Tarball (with probcli)]  
|  [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.1/ProB.mac_os.x86_64.tar.gz Tarball] <br/>
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
| 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]),
|-
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
| Mac OS X, Leopard, Intel (32-bit)
|}
| 27. Nov 2011
 
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
{| class="table table-bordered wikitable"
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
! Platform
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
! Release Date
! Download (64 bit)
! Dependencies
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.3-final
| colspan="4" style="background-color:lightgrey;" | 1.9.0-release
|-
|-
| Linux  
| Linux  
| 10. Feb 2011
| 12.7.2019
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux.tar.gz Tarball (32bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux64.tar.gz Tarball (64bit)],<br/>[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/prob_1.3.3_i386.deb Ubuntu/Debian package (32bit)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.0/ProB.linux64.tar.gz Tarball]<br/>
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
|-
| Windows
| Windows
| 10. Feb 2011
| 12.7.2019 
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.windows.32bit.zip Zipfile (with probcli)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.0/ProB.windows64.zip Zipfile] (Tcl/Tk 8.6), <br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.0/ProB.windows64-tcltk85.zip Zipfile] (Tcl/Tk 8.5) <br/>
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>
[[Windows Installation Instructions]]
|-
|-
| Mac OS X, Snow Leopard, Intel
| OS X
| 10. Feb 2011
| 12.7.2019
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.6.6.tar.gz Tarball (with probcli)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.9.0/ProB.mac_os.x86_64.tar.gz Tarball] <br/>
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
| 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]),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
 
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download
! Dependencies
|-
|-
| Mac OS X, Leopard, Intel
| colspan="4" style="background-color:lightgrey;" | 1.8.2-final
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.2-final
| Linux
| 1.10.2018
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
|-
| Mac OS X, Tiger, Intel
| Windows
| 30. Jul 2010
| 1.10.2018
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.2/ProB_tiger_intel.tar.gz Tarball (with probcli)]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.4],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
|-
| OS X
| 1.10.2018
|  [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.2/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [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]),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download
! Dependencies
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.1-final
| colspan="4" style="background-color:lightgrey;" | 1.8.0-final
|-
|-
| Linux  
| Linux  
| 13. Jan 2010
| 20.3.2018
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
|-
| Mac OS X, PPC Tiger
| Windows
| 07. Dec 2009
| 20.3.2018
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final3/ProB-ppctiger-1.3.1final3.tar.gz Tarball]
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| OS X
| 20.3.2018
|  [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.8.0/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [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]),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}
|}


Notefor version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a [http://www.activestate.com/activetcl/downloads/ corrected version of Tcl/Tk] (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.
{| class="table table-bordered wikitable"
! Platform
! Release Date
! Download
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.7.1-final
|-
| Linux
| 5. October 2017
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5
|-
| Windows
| 5. October 2017
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| OS X
| 12. October 2017
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.1/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [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]),
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}


=== Tklib for ProB 1.3.4 ===
{| class="table table-bordered wikitable"
ProB 1.3.4 requires the text module from tklib. This
! Platform
should come pre-installed on Mac and often on Windows as well (see below).
! Release Date
On Linux you need to install tklib. On Ubuntu just type <tt>sudo apt-get install
! Download
tklib</tt>. If you used the Active Tcl distribution, you need to type
! Dependencies
   
|-
<tt>sudo /opt/ActiveTcl-8.5/bin/teacup install tklib85</tt>
| colspan="4" style="background-color:lightgrey;" | 1.7.0-final
|-
| Linux
| 11. July 2017
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5
|-
| Windows  
| 11. July 2017
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| OS X
| 11. July 2017
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.7.0/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}


on Linux.
{| class="table table-bordered wikitable"
On Windows, ActiveTcl-8.5 installs an additional tool "Teacup", with which you can install
! Platform
Tcl/Tk library extensions like <tt>tcllib</tt> and <tt>tklib</tt>.
! Release Date
To use the latest Tcl/Tk version of ProB you may have to install tklib. This library can be installed on Windows with Teacup by typing
! Download
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.6.1-final
|-
| Linux  
| 22. April 2016
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5
|-
| Windows
| 22. April 2016
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| OS X
| 22. April 2016
|  [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.1/ProB.mac_os.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}


<tt>teacup install tklib85</tt>  
{| class="table table-bordered wikitable"
 
! Platform
into the Command Prompt, when you are logged in as an administrator.
! Release Date
 
! Download
 
! Dependencies
On Snow Leopard (Mac OS X 10.6.x) you <b>have</b> to install Tcl/Tk as indicated above for ProB 1.3.3.
|-
| colspan="4" style="background-color:lightgrey;" | 1.6.0-SR1
|-
| Linux
| 22. April 2016
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5
|-
| Windows
| 22. April 2016
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
Java 7 or newer, [[Windows Installation Instructions]]
|-
| OS X
| 22. April 2016
|  [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.6.0/ProB.mac_os.10.11.4.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| OS X 10.11 (El Capitain) recommended, [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
Java 7 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.5.0-final
|-
| Linux
| 19. February 2015
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 5.0 or newer, Tcl/Tk 8.5
|-
| Windows
| 19. February 2015
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.windows32.zip Zipfile (with probcli) (32bit)],<br/> [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.windows64.zip Zipfile (with probcli) <br/>(64bit)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
Java 5.0 or newer, [[Windows Installation Instructions]]
|-
| OS X
| 19. February 2015
|  [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.5.0/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli) (64bit)] [https://github.com/hhu-stups/homebrew-prob Homebrew Tap]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]
Java 5.0 or newer, [http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.6-final
|-
| Linux
| 4. March 2013
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.linux32.tar.gz Tarball (32bit)],<br/>[https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.linux64.tar.gz Tarball (64bit)],<br/>
| Java 5.0 or newer, Tcl/Tk 8.5
|-
| Windows
| 4. March 2013
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.windows.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ 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
|  [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.mac_os.10.6.8.x86_64.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5] (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11] or use at least 8.5.13)
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel (32-bit)
| 4. March 2013
| [https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.3.6/ProB.mac_os.10.5.8.i386.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5]  (do not use version 8.5.12.0, use [http://downloads.activestate.com/ActiveTcl/releases/8.5.11.1/ 8.5.11]),
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}

Latest revision as of 10:31, 1 July 2024

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/

Nightly builds of ProB 2 (deprecated) for Rodin 3 can be obtained from within Rodin using the update site https://stups.hhu-hosting.de/rodin/prob2/nightly/ (this will probably be replaced by a Java FX version in the future)


A hot-fix release of 1.12.0 is available here: https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2-fix1/.

Platform Release Date Download Dependencies
1.12.2
Linux 10.8.2023 Tarball
Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows 10.8.2023 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS 10.8.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.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 (see 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 (see 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 (see below), GraphViz, Windows Installation Instructions
macOS 29.12.2021 Zipfile (notarized)

Homebrew Tap

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,
Windows Installation Instructions

OS X 6.10.2021 Zipfile (notarized Tk 8.5)
Zipfile (notarized Tk 8.6)

Homebrew Tap

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,
Windows Installation Instructions

OS X 21.1.2021 Zipfile (notarized)

Homebrew Tap

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,
Windows Installation Instructions

OS X 15.12.2020 Zipfile (notarized)

Homebrew Tap

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,
Windows Installation Instructions

OS X 19.2.2020 Zipfile (notarized)

Homebrew Tap

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,
Windows Installation Instructions

OS X 11.11.2019 Tarball

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 (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,
Windows Installation Instructions

OS X 8.11.2019 Tarball

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 (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,
Windows Installation Instructions

OS X 12.7.2019 Tarball

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.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)

Graphviz for Mac OS X

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),

Graphviz for Mac OS X