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

Minor rephrasing.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-14 18:30:06 +02:00
parent 401cf79cf6
commit b491efa9f4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -35,7 +35,7 @@ $ plasp output.sas
### Solving the Translated Instance
The translated instance can now be solved incrementally with `clingo` and a meta encoding, for instance, `pddl-meta-sequential-incremental.lp`:
The translated instance can finally be solved incrementally with `clingo` and a meta encoding, for instance, `pddl-meta-sequential-incremental.lp`:
```bash
$ plasp domain.pddl problem.pddl > instance.lp