Help

DownloadPriorVersions: Difference between revisions

(Removed all Java download links - Oracle Java is bad and AdoptOpenJDK is no longer updated)
(Updated all tables to not broken styles)
Line 7: Line 7:
[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/]


 
{| class="table table-bordered wikitable"
 
! Platform
{| border="1"  cellpadding="30"
! Release Date
! Platform   
! Download (64 bit)
! Release Date   
! Download (64 bit)  
! Dependencies
! Dependencies
|-
|-
Line 21: Line 19:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.11.0/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.11.0/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
| Java 7 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows
| Windows
Line 30: Line 26:
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 41: Line 35:
|}
|}


 
{| class="table table-bordered wikitable"
{| border="1"  cellpadding="30"
! Platform
! Platform &nbsp;&nbsp;
! Release Date
! Release Date &nbsp;&nbsp;
! Download (64 bit)
! Download (64 bit)&nbsp;&nbsp;
! Dependencies
! Dependencies
|-
|-
Line 54: Line 47:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.2/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.2/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
| Java 7 or newer, [https://www.tcl.tk/software/tcltk/downloadnow85.html Tcl/Tk 8.5],  [http://www.graphviz.org/download/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows
| Windows
Line 63: Line 54:
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 74: Line 63:
|}
|}


 
{| class="table table-bordered wikitable"
 
! Platform
 
! Release Date
{| border="1"  cellpadding="30"
! Download (64 bit)
! Platform &nbsp;&nbsp;
! Release Date &nbsp;&nbsp;
! Download (64 bit)&nbsp;&nbsp;
! Dependencies
! Dependencies
|-
|-
Line 89: Line 75:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.0-final/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.10.0-final/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows
| Windows
Line 98: Line 82:
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 109: Line 91:
|}
|}


 
{| class="table table-bordered wikitable"
 
! Platform
{| border="1"  cellpadding="30"
! Release Date
! Platform &nbsp;&nbsp;
! Download (64 bit)
! Release Date &nbsp;&nbsp;
! Download (64 bit)&nbsp;&nbsp;
! Dependencies
! Dependencies
|-
|-
Line 123: Line 103:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.3/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/download/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows
| Windows
Line 132: Line 110:
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
Java 7 or newer, [http://www.graphviz.org/download/ GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 143: Line 119:
|}
|}


 
{| class="table table-bordered wikitable"
 
! Platform
{| border="1"  cellpadding="30"
! Release Date
! Platform &nbsp;&nbsp;
! Download (64 bit)
! Release Date &nbsp;&nbsp;
! Download (64 bit)&nbsp;&nbsp;
! Dependencies
! Dependencies
|-
|-
Line 157: Line 131:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.2/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.2/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows
| Windows
Line 166: Line 138:
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 177: Line 147:
|}
|}


 
{| class="table table-bordered wikitable"
{| border="1"  cellpadding="30"
! Platform
! Platform &nbsp;&nbsp;
! Release Date
! Release Date &nbsp;&nbsp;
! Download (64 bit)
! Download (64 bit)&nbsp;&nbsp;
! Dependencies
! Dependencies
|-
|-
Line 190: Line 159:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.1/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.1/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows
| Windows
Line 199: Line 166:
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 210: Line 175:
|}
|}


{| border="1"  cellpadding="30"
{| class="table table-bordered wikitable"
! Platform &nbsp;&nbsp;
! Platform
! Release Date &nbsp;&nbsp;
! Release Date
! Download (64 bit)&nbsp;&nbsp;
! Download (64 bit)
! Dependencies
! Dependencies
|-
|-
Line 222: Line 187:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.linux64.tar.gz Tarball]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.9.0/ProB.linux64.tar.gz Tarball]<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows
| Windows
Line 231: Line 194:
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
Java 7 or newer, [http://www.graphviz.org/Download_windows.php GraphViz], <br/>  
[[Windows Installation Instructions]]
[[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 242: Line 203:
|}
|}


 
{| class="table table-bordered wikitable"
 
 
{| border="1"
! Platform
! Platform
! Release Date
! Release Date
Line 257: Line 215:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.2/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/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]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows  
| Windows  
Line 265: Line 221:
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [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]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 275: Line 229:
|}
|}


 
{| class="table table-bordered wikitable"
 
{| border="1"
! Platform
! Platform
! Release Date
! Release Date
Line 289: Line 241:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.8.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
| Java 7 or newer, Tcl/Tk 8.5,  [http://www.graphviz.org/ GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows  
| Windows  
Line 297: Line 247:
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [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]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 307: Line 255:
|}
|}


 
{| class="table table-bordered wikitable"
 
{| border="1"
! Platform
! Platform
! Release Date
! Release Date
Line 321: Line 267:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows  
| Windows  
Line 329: Line 273:
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [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]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 339: Line 281:
|}
|}


 
{| class="table table-bordered wikitable"
{| border="1"
! Platform
! Platform
! Release Date
! Release Date
Line 352: Line 293:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.0/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows  
| Windows  
Line 360: Line 299:
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [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]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 370: Line 307:
|}
|}


 
{| class="table table-bordered wikitable"
{| border="1"
! Platform
! Platform
! Release Date
! Release Date
Line 383: Line 319:
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| [http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.linux32.tar.gz Tarball (with probcli) (32bit)],<br/>[http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.6.1/ProB.linux64.tar.gz Tarball (with probcli) (64bit)]<br/>
| Java 7 or newer, Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows  
| Windows  
Line 391: Line 325:
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [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]
Java 7 or newer, [[Windows Installation Instructions]] [http://www.graphviz.org/Download_windows.php GraphViz]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X
Line 401: Line 333:
|}
|}


 
{| class="table table-bordered wikitable"
{| border="1"
! Platform
! Platform
! Release Date
! Release Date
! Download
! Download
! Dependencies
! Dependencies
|-
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.6.0-SR1
| colspan="4" style="background-color:lightgrey;" | 1.6.0-SR1
Line 415: Line 345:
| [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/>
| [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/>
| Java 7 or newer, Tcl/Tk 8.5
| Java 7 or newer, Tcl/Tk 8.5
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| Windows  
| Windows  
Line 423: Line 351:
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows],
Java 7 or newer, [[Windows Installation Instructions]]
Java 7 or newer, [[Windows Installation Instructions]]
|-
| colspan="4" style="background-color:lightgrey;" style="height:20px; | 
|-
|-
| OS X
| OS X

Revision as of 17:05, 21 March 2022

Below are details for releases 1.10.2 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.11.0
Linux 6.10.2021 Tarball
 Java 7 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 7 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 7 or newer, Graphviz

Platform Release Date Download (64 bit) Dependencies
1.10.2
Linux 21.1.2021 Tarball
 Java 7 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 7 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 7 or newer, Graphviz

Platform Release Date Download (64 bit) Dependencies
1.10.0-final
Linux 15.12.2020 Tarball
 Java 7 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 7 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 7 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

Retrieved from "https://prob.hhu.de/w/index.php?title=DownloadPriorVersions&oldid=5215"