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

Extended readme file with Fast Downward usage information.

This commit is contained in:
Patrick Lühne 2016-05-24 12:53:09 +02:00
parent fd1ce50b35
commit fe08394d05
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
README.md
View File

@ -16,11 +16,19 @@ To translate an SAS file into ASP facts, call:
$ plasp file.sas
```
For instance, the translated SAS instance can be solved incrementally with `clingo` and the meta encoding `meta-sequential-incremental.lp` as follows:
For instance, a PDDL instance can be solved as follows.
First, use [Fast Downward](http://www.fast-downward.org/) to translate the files from PDDL to SAS:
```bash
$ plasp file.sas > file.lp
$ clingo encodings/meta-sequential-incremental.lp file.lp
$ ./fast-downward.py --translate --build=release64 domain.pddl instance.pddl
```
This creates the file `output.sas`.
The translated SAS instance can now be solved incrementally with `clingo` and the meta encoding `meta-sequential-incremental.lp`:
```bash
$ plasp output.sas > instance.lp
$ clingo encodings/meta-sequential-incremental.lp instance.lp
```
## Building