add nusvm docker-compose

2021-10-27 13:20:53 +02:00
parent 2422002fd2
commit d446a8a59e
1 changed files with 13 additions and 0 deletions
--- a/nusmv/docker-compose.yml
+++ 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