plasp/doc/command-line-interface.md

Command-Line Interface

$ plasp [files] [options]

plasp automatically detects the language of the input files.

Multiple files may be provided in an arbitrary order. [files] may also be omitted, in which case the input is read from std::cin.

plasp supports the following options:

option	explanation
-l [ --language ]	Specify the input language (sas or pddl). Omit for automatic detection.
--warning-level arg (=normal)	Specify whether to output warnings normally (normal), to treat them as critical errors (error), or to ignore them (ignore).
--color arg (=auto)	Specify whether to colorize the output (always, never, or auto).