No edit summary |
No edit summary |
||
| (9 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
[[Category:Components]] | [[Category:Components]] | ||
[[Category:ProB Cli]] | |||
The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles. | 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 [https://github.com/bivab/prob.vim 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]]). | |||
== Documentation == | |||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa- | <i class="fa fa-user"></i> [[Using the Command-Line Version of ProB | User Manual]] | ||
</p> | </p> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa- | <i class="fa fa-cog"></i> [[Developer Manual]] | ||
</p> | </p> | ||
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).