Merge pull request #41 from jdekarske/master

add smtplan+
AI-Planning · Aug 10, 2021 · 273f5b2 · 273f5b2
2 parents 772ce54 + cbe16f4
commit 273f5b2
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 0 deletions.
diff --git a/planutils/packages/smtplan/install 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
@@ -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
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+singularity run $(dirname $0)/smtplan.sif $@
diff --git a/planutils/packages/smtplan/uninstall b/planutils/packages/smtplan/uninstall
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+rm smtplan.sif
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		#!/bin/bash

		singularity run $(dirname $0)/smtplan.sif $@