From d446a8a59e35cc94eabed5fe1b88c983bdc7df65 Mon Sep 17 00:00:00 2001
From: Mariano Sciacco <34033090+Maxelweb@users.noreply.github.com>
Date: Wed, 27 Oct 2021 13:20:53 +0200
Subject: [PATCH] add nusvm docker-compose

---
 nusmv/docker-compose.yml | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 nusmv/docker-compose.yml

diff --git a/nusmv/docker-compose.yml b/nusmv/docker-compose.yml
new file mode 100644
index 0000000..9e89ee4
--- /dev/null
+++ b/nusmv/docker-compose.yml
@@ -0,0 +1,13 @@
+
+# NuSVM docker
+# ============
+# ref: https://hub.docker.com/r/badouralix/nusmv
+
+
+version: "2.1"
+services:
+  nusmv:
+    image: badouralix/nusmv
+    container_name: nusmv
+    volumes:
+      - /home/maxelweb/Development/:/input