diff --git a/planutils/packages/pddl/install b/planutils/packages/pddl/install new file mode 100755 index 0000000..91ff899 --- /dev/null +++ b/planutils/packages/pddl/install @@ -0,0 +1,6 @@ +#!/usr/bin/env bash +set -euo pipefail + +python3 -m pip install --no-cache-dir -U pddl + +command -v pddl >/dev/null diff --git a/planutils/packages/pddl/manifest.json b/planutils/packages/pddl/manifest.json new file mode 100644 index 0000000..64089de --- /dev/null +++ b/planutils/packages/pddl/manifest.json @@ -0,0 +1,69 @@ +{ + "name": "PDDL: PDDL 3.1 syntax validator", + "description": "Tools for parsing and syntax-validating PDDL domains, problems, and plans using the AI-Planning/pddl parser.", + "homepage": "https://github.com/AI-Planning/pddl", + "install-size": "1M", + "dependencies": [], + "runnable": true, + "endpoint": { + "services": { + "validate_domain": { + "args": [ + { + "name": "domain", + "type": "file", + "description": "domain file to validate" + } + ], + "call": "pddl {domain} > pddl_domain.log 2>&1", + "return": { + "type": "log", + "files": "pddl_domain.log" + } + }, + "validate_task": { + "args": [ + { + "name": "domain", + "type": "file", + "description": "domain file to validate" + }, + { + "name": "problem", + "type": "file", + "description": "problem file to validate" + } + ], + "call": "pddl {domain} {problem} > pddl_task.log 2>&1", + "return": { + "type": "log", + "files": "pddl_task.log" + } + }, + "validate_plan": { + "args": [ + { + "name": "domain", + "type": "file", + "description": "domain file to validate" + }, + { + "name": "problem", + "type": "file", + "description": "problem file to validate" + }, + { + "name": "plan", + "type": "file", + "description": "plan file to validate" + } + ], + "call": "pddl {domain} {problem} {plan} > pddl_plan.log 2>&1", + "return": { + "type": "log", + "files": "pddl_plan.log" + } + } + } + } +} \ No newline at end of file diff --git a/planutils/packages/pddl/run b/planutils/packages/pddl/run new file mode 100755 index 0000000..092eabe --- /dev/null +++ b/planutils/packages/pddl/run @@ -0,0 +1,4 @@ +#!/usr/bin/env bash +set -euo pipefail + +exec pddl "$@" diff --git a/planutils/packages/pddl/uninstall b/planutils/packages/pddl/uninstall new file mode 100755 index 0000000..57f7e3c --- /dev/null +++ b/planutils/packages/pddl/uninstall @@ -0,0 +1,4 @@ +#!/usr/bin/env bash +set -euo pipefail + +python3 -m pip uninstall -y pddl || true