From d7e6d3cabf64f997ec68da46ccb581b78be2467b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 24 May 2016 02:57:00 +0200 Subject: [PATCH] Added an example clingo call to usage notes in readme file. --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/README.md b/README.md index 60e92c2..a3bff48 100644 --- a/README.md +++ b/README.md @@ -16,6 +16,13 @@ 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: + +```bash +$ plasp file.sas > file.lp +$ clingo encodings/meta-sequential-incremental.lp file.lp +``` + ## Building `plasp` requires a C++14 compiler (preferrably ≥ GCC 6.1), the `boost` libraries (≥ 1.55), and CMake for building.