ProB CLI Nightly Build

Please note, that this version is used for our build process and is not intended for end users.
It does not contain all libraries required to run the tool from the command line.
Please download the tcl/tk archive instead. It contains the probcli binary as well as all libraries that are required.

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  - ProB Release Folder
[   ]probcli_leopard64.zip18-Dec-2014 20:45 7.5MProB CLI for MacOS Snow Leopard
[   ]probcli_linux32.zip18-Dec-2014 20:19 7.3MProB Release Folder
[   ]probcli_linux64.zip18-Dec-2014 20:36 7.9MProB CLI for Linux 64Bit
[   ]probcli_win32.zip17-Dec-2014 20:47 8.4MProB CLI for Windows
[   ]probcli_win64.zip17-Dec-2014 20:23 9.1MProB Release Folder
[   ]probquery_leopard64.zip20-Sep-2013 13:42 17MProB Release Folder
[   ]probquery_linux.zip20-Sep-2013 13:42 14MProB Release Folder
[   ]probquery_linux64.zip20-Sep-2013 13:43 14MProB Release Folder
[   ]probquery_win32.zip20-Sep-2013 13:40 12MProB Release Folder
[   ]windowslib32.zip21-Dec-2014 20:14 1.6MProB Release Folder
[   ]windowslib64.zip21-Dec-2014 20:14 1.7MProB Release Folder