-RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get -y install git \
- make python3 debhelper python3-setuptools apt-utils
+RUN DEBIAN_FRONTEND=noninteractive apt-get update && \
+ DEBIAN_FRONTEND=noninteractive apt-get -y install \
+ debhelper \
+ git \
+ python3 \
+ python3-all \
+ python3-dev \
+ python3-setuptools
+
+RUN python3 -m easy_install pip==21.0.1
+RUN pip3 install tox==3.22.0
+
+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
+
+ENV FZNEXEC "/entry_data/fzn-exec"
+ENV PATH "/minizinc/bin:${PATH}"