Files
dots-workstation/nusmv/docker-compose.yml
2021-10-27 13:20:53 +02:00

14 lines
226 B
YAML

# 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