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  -  
[   ]probcli_leopard64.zip29-Mar-2015 20:19 7.7MProB CLI for MacOS 64Bit
[   ]probcli_linux32.zip29-Mar-2015 20:19 7.5MProB CLI for Linux 32Bit
[   ]probcli_linux64.zip29-Mar-2015 20:21 8.1MProB CLI for Linux 64Bit
[   ]probcli_win32.zip29-Mar-2015 20:57 8.6MProB CLI for Windows 32Bit
[   ]probcli_win64.zip29-Mar-2015 20:20 9.3MProB CLI for Windows 64Bit
[   ]probquery_leopard64.zip20-Sep-2013 13:42 17M 
[   ]probquery_linux.zip20-Sep-2013 13:42 14M 
[   ]probquery_linux64.zip20-Sep-2013 13:43 14M 
[   ]probquery_win32.zip20-Sep-2013 13:40 12M 
[   ]prosmt_starexec.tgz29-Jan-2015 11:05 25M 
[   ]windowslib32.zip29-Mar-2015 20:14 1.6MProB Libraries for Windows 32Bit
[   ]windowslib64.zip29-Mar-2015 20:14 1.7MProB Libraries for Windows 64Bit