Hp/t0

README.md

@@ -101,12 +101,12 @@ $
 
 ## 5. Add a new package
 ### Package Configuration
-1. Create a folder for new pacakeg, the package name will be the used to call the planner later
+1. Create a folder for the new package, the package name will be used to call the planner later
 2. Set up the `install`, `run`,  `uninstall`, and manifest file. You can find the template files under packages/TEMPLATE folder
 
-### Write Manifest file
+### Write a Manifest file
 
-Please create a manifest file named `manifest_compact.json` if you want to use predefined templates in the packages/TEMPLATE/SERVICE_TEMPLATE folder. The full `manifest.json` will be generated at the run time. You can overwrite the dafult template by restating the value of json fields. 
+Please create a manifest file named `manifest_compact.json` if you want to use predefined templates in the packages/TEMPLATE/SERVICE_TEMPLATE folder. The full `manifest.json` will be generated at the run time. You can overwrite the default template by restating the value of JSON fields. 
 
 You can also create a `manifest.json` file directly if you don't need the template.
 

planutils/packages/conformant-translator/install

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+apptainer build conformant-translator.sif docker://hectorpal/t0-translation-based-planners:latest

planutils/packages/conformant-translator/manifest.json

@@ -0,0 +1,7 @@
+{
+    "name": "Translator-based conformant planners. T0 and dDNNF-based",
+    "description": "Conformant planner",
+    "homepage": "https://github.com/hectorpal/translation-based-planners",
+    "install-size": "243M",
+    "dependencies": []
+}

planutils/packages/conformant-translator/run

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+apptainer run -e $(dirname $0)/conformant-translator.sif $@

planutils/packages/conformant-translator/uninstall

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+rm conformant-translator.sif

planutils/packages/t0/install

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+# Nothing to do

planutils/packages/t0/manifest.json

@@ -0,0 +1,9 @@
+{
+    "name": "T0: Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width",
+    "description": "$T_0$ conformant planner",
+    "homepage": "https://github.com/hectorpal/translation-based-planners",
+    "install-size": "0M",
+    "dependencies": [
+        "conformant-translator"
+    ]
+}

planutils/packages/t0/run

@@ -0,0 +1,4 @@
+#!/bin/bash
+
+# apptainer run -e $(dirname $0)/conformant-translator.sif -pl t0 $@
+planutils run conformant-translator -- -pl t0 $@

planutils/packages/t0/uninstall

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+# Nothing to do