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

Fixed typo.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-15 15:26:34 +02:00
parent 760143a4a2
commit 169c5ae8e9
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -50,13 +50,13 @@ $ plasp [files] [options]
`plasp` automatically detects the language of the input program. `plasp` automatically detects the language of the input program.
See [command-line interface](doc/command-line-interface.md) for more detail. See [command-line interface](doc/command-line-interface.md) for more details.
## Output Format ## Output Format
`plasp` provides a uniform output format for SAS and PDDL input problems. `plasp` provides a uniform output format for SAS and PDDL input problems.
See [output format](doc/output-format.md) for more detail. See [output format](doc/output-format.md) for more details.
If you want to write your own meta encoding for `plasp`’s output, this [simple example encoding](encodings/sequential-incremental.lp) gets you started. If you want to write your own meta encoding for `plasp`’s output, this [simple example encoding](encodings/sequential-incremental.lp) gets you started.
@ -64,7 +64,7 @@ If you want to write your own meta encoding for `plasp`’s output, this [simple
`plasp` requires `boost` and is built via CMake and a C++ compiler. `plasp` requires `boost` and is built via CMake and a C++ compiler.
See [building instructions](doc/building-instructions.md) for more detail. See [building instructions](doc/building-instructions.md) for more details.
## Contributors ## Contributors