From 1f06549ef8883b1d8c4a708acdc101398b1ce606 Mon Sep 17 00:00:00 2001
From: Hector Palacios <hector.palacios@servicenow.com>
Date: Fri, 24 Mar 2023 18:09:48 -0400
Subject: [PATCH 1/3] t0 planner

---
 README.md                           | 6 +++---
 planutils/packages/t0/install       | 3 +++
 planutils/packages/t0/manifest.json | 7 +++++++
 planutils/packages/t0/run           | 3 +++
 planutils/packages/t0/uninstall     | 3 +++
 5 files changed, 19 insertions(+), 3 deletions(-)
 create mode 100755 planutils/packages/t0/install
 create mode 100644 planutils/packages/t0/manifest.json
 create mode 100755 planutils/packages/t0/run
 create mode 100755 planutils/packages/t0/uninstall

diff --git a/README.md b/README.md
index dd1f2a1..8988714 100644
--- a/README.md
+++ b/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.
 
diff --git a/planutils/packages/t0/install b/planutils/packages/t0/install
new file mode 100755
index 0000000..64b8d46
--- /dev/null
+++ b/planutils/packages/t0/install
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+apptainer build t0.sif docker://hectorpal/t0-translation-based-planners:latest
diff --git a/planutils/packages/t0/manifest.json b/planutils/packages/t0/manifest.json
new file mode 100644
index 0000000..2d0ceb3
--- /dev/null
+++ b/planutils/packages/t0/manifest.json
@@ -0,0 +1,7 @@
+{
+    "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": "243M",
+    "dependencies": []
+}
diff --git a/planutils/packages/t0/run b/planutils/packages/t0/run
new file mode 100755
index 0000000..2792170
--- /dev/null
+++ b/planutils/packages/t0/run
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+apptainer run -e $(dirname $0)/t0.sif -pl t0 $@
diff --git a/planutils/packages/t0/uninstall b/planutils/packages/t0/uninstall
new file mode 100755
index 0000000..a5551f2
--- /dev/null
+++ b/planutils/packages/t0/uninstall
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+rm t0.sif

From c993c220991e474edcf6781c049daec9cf24c5c1 Mon Sep 17 00:00:00 2001
From: Hector Palacios <hector.palacios@servicenow.com>
Date: Fri, 24 Mar 2023 18:32:20 -0400
Subject: [PATCH 2/3] Split translator vs t0

---
 planutils/packages/conformant-translator/install       | 3 +++
 planutils/packages/conformant-translator/manifest.json | 7 +++++++
 planutils/packages/conformant-translator/run           | 3 +++
 planutils/packages/conformant-translator/uninstall     | 3 +++
 planutils/packages/t0/manifest.json                    | 6 ++++--
 5 files changed, 20 insertions(+), 2 deletions(-)
 create mode 100755 planutils/packages/conformant-translator/install
 create mode 100644 planutils/packages/conformant-translator/manifest.json
 create mode 100755 planutils/packages/conformant-translator/run
 create mode 100755 planutils/packages/conformant-translator/uninstall

diff --git a/planutils/packages/conformant-translator/install b/planutils/packages/conformant-translator/install
new file mode 100755
index 0000000..64b8d46
--- /dev/null
+++ b/planutils/packages/conformant-translator/install
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+apptainer build t0.sif docker://hectorpal/t0-translation-based-planners:latest
diff --git a/planutils/packages/conformant-translator/manifest.json b/planutils/packages/conformant-translator/manifest.json
new file mode 100644
index 0000000..ea5443e
--- /dev/null
+++ b/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": []
+}
diff --git a/planutils/packages/conformant-translator/run b/planutils/packages/conformant-translator/run
new file mode 100755
index 0000000..93d6719
--- /dev/null
+++ b/planutils/packages/conformant-translator/run
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+apptainer run -e $(dirname $0)/t0.sif $@
diff --git a/planutils/packages/conformant-translator/uninstall b/planutils/packages/conformant-translator/uninstall
new file mode 100755
index 0000000..a5551f2
--- /dev/null
+++ b/planutils/packages/conformant-translator/uninstall
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+rm t0.sif
diff --git a/planutils/packages/t0/manifest.json b/planutils/packages/t0/manifest.json
index 2d0ceb3..3e92cff 100644
--- a/planutils/packages/t0/manifest.json
+++ b/planutils/packages/t0/manifest.json
@@ -2,6 +2,8 @@
     "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": "243M",
-    "dependencies": []
+    "install-size": "0M",
+    "dependencies": [
+        "conformant-translator"
+    ]
 }

From 804ac2340d4b69be044a100b84fc15f35ebc36aa Mon Sep 17 00:00:00 2001
From: Hector Palacios <hector.palacios@servicenow.com>
Date: Fri, 24 Mar 2023 18:44:59 -0400
Subject: [PATCH 3/3] fix t0 after splitting

---
 planutils/packages/conformant-translator/install   | 2 +-
 planutils/packages/conformant-translator/run       | 2 +-
 planutils/packages/conformant-translator/uninstall | 2 +-
 planutils/packages/t0/install                      | 2 +-
 planutils/packages/t0/run                          | 3 ++-
 planutils/packages/t0/uninstall                    | 2 +-
 6 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/planutils/packages/conformant-translator/install b/planutils/packages/conformant-translator/install
index 64b8d46..b6cf0e4 100755
--- a/planutils/packages/conformant-translator/install
+++ b/planutils/packages/conformant-translator/install
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-apptainer build t0.sif docker://hectorpal/t0-translation-based-planners:latest
+apptainer build conformant-translator.sif docker://hectorpal/t0-translation-based-planners:latest
diff --git a/planutils/packages/conformant-translator/run b/planutils/packages/conformant-translator/run
index 93d6719..6d38634 100755
--- a/planutils/packages/conformant-translator/run
+++ b/planutils/packages/conformant-translator/run
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-apptainer run -e $(dirname $0)/t0.sif $@
+apptainer run -e $(dirname $0)/conformant-translator.sif $@
diff --git a/planutils/packages/conformant-translator/uninstall b/planutils/packages/conformant-translator/uninstall
index a5551f2..a763a37 100755
--- a/planutils/packages/conformant-translator/uninstall
+++ b/planutils/packages/conformant-translator/uninstall
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-rm t0.sif
+rm conformant-translator.sif
diff --git a/planutils/packages/t0/install b/planutils/packages/t0/install
index 64b8d46..049b630 100755
--- a/planutils/packages/t0/install
+++ b/planutils/packages/t0/install
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-apptainer build t0.sif docker://hectorpal/t0-translation-based-planners:latest
+# Nothing to do
\ No newline at end of file
diff --git a/planutils/packages/t0/run b/planutils/packages/t0/run
index 2792170..8833cfa 100755
--- a/planutils/packages/t0/run
+++ b/planutils/packages/t0/run
@@ -1,3 +1,4 @@
 #!/bin/bash
 
-apptainer run -e $(dirname $0)/t0.sif -pl t0 $@
+# apptainer run -e $(dirname $0)/conformant-translator.sif -pl t0 $@
+planutils run conformant-translator -- -pl t0 $@
diff --git a/planutils/packages/t0/uninstall b/planutils/packages/t0/uninstall
index a5551f2..049b630 100755
--- a/planutils/packages/t0/uninstall
+++ b/planutils/packages/t0/uninstall
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-rm t0.sif
+# Nothing to do
\ No newline at end of file