ASP planning tools for PDDL (local mirror of https://github.com/potassco/plasp for development purposes)
https://potassco.org/
apps | ||
encodings | ||
include/plasp | ||
src | ||
tests | ||
.gitattributes | ||
.gitignore | ||
.gitmodules | ||
.travis.yml | ||
CMakeLists.txt | ||
LICENSE | ||
README.md |
plasp—Translate PDDL to ASP
plasp
3 is in early development and not intended for productive use yet.
As of now, plasp
3 experimentally supports the full SAS Format (as of version 3) used by Fast Downward.
Please get in touch with Patrick Lühne if you have any suggestions.
Usage
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:
$ 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.
$ git clone https://github.com/potassco/plasp.git
$ cd plasp
$ mkdir -p build/release
$ cd build/release
$ cmake ../.. -DCMAKE_BUILD_TYPE=Release
$ make
The built plasp
binary is then located at plasp/build/release/bin/plasp
.
Contributors
- Patrick Lühne (plasp 3)
Earlier Versions
- Murat Knecht (plasp)
- René Knaebel (plasp 2)