diff --git a/docker/Dockerfile.template b/docker/Dockerfile.template
index f07fe2dbe0083d8bc3f0b45fa800ca5092df0d92..07d8f04bbcb401d8aa44c16d4246fae6e42beb8c 100644
--- a/docker/Dockerfile.template
+++ b/docker/Dockerfile.template
@@ -42,3 +42,36 @@ opam install --deps-only --with-test -y .
 @ENV@
 
 RUN cd caisar && make && make install
+
+
+## External provers
+
+# Download Marabou and install system dependencies
+RUN sudo apt-get install -yy cmake gfortran wget && \
+git clone --depth 1 https://github.com/NeuralNetworkVerification/Marabou.git
+
+# Build Marabou
+RUN cd Marabou && \
+mkdir build && \
+cd build && \
+cmake .. \
+-DBUILD_PYTHON=OFF \
+-DRUN_UNIT_TEST=OFF \
+-DRUN_MEMORY_TEST=OFF \
+-DCMAKE_CXX_FLAGS="-Wno-error -Wno-sign-compare" && \
+cmake --build .
+
+# Extend PATH with path to the Marabou binary
+ENV PATH "/home/opam/Marabou/build:$PATH"
+
+# Download, build and install SAVer
+RUN git clone --depth 1 https://github.com/svm-abstract-verifier/saver.git && \
+cd saver/src && \
+make && \
+make install
+
+# Extend PATH with path to the SAVer binary
+ENV PATH "/home/opam/saver/bin:$PATH"
+
+# Configuration check
+RUN caisar config -d