====== Command line options of backend tools ======

This is a summary of command line options for some of Workcraft backend tools.

{{page>help:backend:petrify&inline}}
{{page>help:backend:mpsat&inline}}
{{page>help:backend:pcomp&inline}}
{{page>help:backend:punf&inline}}