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