DOCKER.md

Docker Files

This directory contains the files that are required to run the Docker container.

Execution

The execute.sh script can be adjusted to run the program that should be executed by the Docker container.