patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Added more detail to the command-line interface documentation.

This commit is contained in:
Patrick Lühne 2016-08-14 16:34:39 +02:00
parent f5d342a442
commit d03638919a
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -49,11 +49,13 @@ $ plasp [files] [options]
```
`plasp` automatically detects the language of the input program.
See [command-line interface](doc/command-line-interface.md) for more detail.
## Output Format
`plasp` provides a uniform output format for SAS and PDDL input problems.
See [output format](doc/output-format.md) for more detail.
If you want to write your own meta encoding for `plasp`’s output, this [simple example encoding](encodings/sequential-incremental.lp) gets you started.

3
doc/command-line-interface.md
View File

@ -4,6 +4,9 @@
$ plasp [files] [options]
```
`plasp` automatically detects the language of the input files.
Multiple files may be provided in an arbitrary order.
`[files]` may be omitted, in which case the input is read from `std::cin`.
The `[options]` are listed below: