+ADD https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz /minizinc.tgz
+
+RUN tar -zxf /minizinc.tgz && \
+ mv /MiniZincIDE-2.4.2-bundle-linux /minizinc
+
+RUN mkdir /entry_data \
+ && mkdir /entry_data/mzn-lib \
+ && ln -s /entry_data/mzn-lib /minizinc/share/minizinc/exec
+
+RUN mkdir /placement
+