ProB Cli: Difference between revisions

No edit summary
No edit summary
Line 3: Line 3:


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.
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 (this is used by [[ProB_for_Rodin | ProB for Rodin]].
probcli can also communicate with other tools or graphical user interfaces via sockets (this is used by [[ProB_for_Rodin | ProB for Rodin]]).


== Documentation ==
== Documentation ==

Revision as of 07:34, 19 February 2015


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 (this is used by ProB for Rodin).

Documentation

User Manual

Developer Manual