ProB Cli

Revision as of 07:32, 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. probcli can also communicate with other tools or graphical user interfaces via sockets.

Documentation

User Manual

Developer Manual