ProB Cli

Revision as of 07:29, 19 February 2015 by Michael Leuschel (talk | contribs)

The ProB Cli (command-line interface) offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles. probcli contains a REPL (Read-Eval-Print-Loop) and you can also integrate probcli into an editor such as vim.


User Manual

Developer Manual