diff --git a/planutils/packages/smtplan/install b/planutils/packages/smtplan/install
new file mode 100755
index 0000000..ff1afc2
--- /dev/null
+++ b/planutils/packages/smtplan/install
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+
+## Fetch the image
+singularity pull --name smtplan.sif library://jdekarske/default/smtplan:latest 
diff --git a/planutils/packages/smtplan/manifest.json b/planutils/packages/smtplan/manifest.json
new file mode 100644
index 0000000..c1173bb
--- /dev/null
+++ b/planutils/packages/smtplan/manifest.json
@@ -0,0 +1,6 @@
+{
+    "name": "SMTPlan+",
+    "description": "SMTPlan+ is a planner for hybrid systems. http://kcl-planning.github.io/SMTPlan/",
+    "install-size": "148M",
+    "dependencies": []
+}
diff --git a/planutils/packages/smtplan/run b/planutils/packages/smtplan/run
new file mode 100755
index 0000000..eccc999
--- /dev/null
+++ b/planutils/packages/smtplan/run
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+singularity run $(dirname $0)/smtplan.sif $@
\ No newline at end of file
diff --git a/planutils/packages/smtplan/uninstall b/planutils/packages/smtplan/uninstall
new file mode 100755
index 0000000..e3b61a3
--- /dev/null
+++ b/planutils/packages/smtplan/uninstall
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+rm smtplan.sif