From e664fe847082307c75ee198882f027353776d652 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 30 Aug 2016 14:28:29 +0200 Subject: [PATCH] Updated readme file with new location of the meta encoding. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 6634ae4..3d594ec 100644 --- a/README.md +++ b/README.md @@ -35,11 +35,11 @@ $ plasp output.sas ### Solving the Translated Instance -The translated instance can finally 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, [`sequential-incremental.lp`](encodings/sequential-incremental.lp): ```bash $ plasp domain.pddl problem.pddl > instance.lp -$ clingo encodings/pddl-meta-sequential-incremental.lp instance.lp +$ clingo encodings/sequential-incremental.lp instance.lp ``` ## Command-Line Interface