Added an example clingo call to usage notes in readme file.

This commit is contained in:
Patrick Lühne 2016-05-24 02:57:00 +02:00
parent 52570d887f
commit d7e6d3cabf

View File

@ -16,6 +16,13 @@ To translate an SAS file into ASP facts, call:
$ plasp file.sas $ 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 ## Building
`plasp` requires a C++14 compiler (preferrably ≥ GCC 6.1), the `boost` libraries (≥ 1.55), and CMake for building. `plasp` requires a C++14 compiler (preferrably ≥ GCC 6.1), the `boost` libraries (≥ 1.55), and CMake for building.