Find the images on Docker Hub at https://hub.docker.com/r/inzinger/minizinc/.
The update
script is run periodically and creates Docker images based on Alpine 3.3 for each MiniZinc release in the MiniZinc releases feed.
Run a MiniZinc model:
docker run --rm -it -v $(pwd):/home -w /home inzinger/minizinc:2.0.13 minizinc path/to/model.mzn path/to/data.dzn