ProB Cli

Revision as of 14:42, 30 October 2014 by Lukas Ladenberger (talk | contribs)


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.

User Manual

Developer Manual