From fe08394d05fd2a16e928d90f1177207a44965d5a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 24 May 2016 12:53:09 +0200 Subject: [PATCH] Extended readme file with Fast Downward usage information. --- README.md | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 5e4bd5b..311c89d 100644 --- a/README.md +++ b/README.md @@ -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