$ 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). |