diff --git a/docker/Dockerfile.template b/docker/Dockerfile.template
index 47d4a2f76ac5e41984ee295f8b3a0a867c5d632e..122bb09e6e4c1e8528211ca8fe3a09cc1375f47a 100644
--- a/docker/Dockerfile.template
+++ b/docker/Dockerfile.template
@@ -76,6 +76,10 @@ cmake --build .
 
 ENV PATH "/home/opam/Marabou/build:$PATH"
 
+## Maraboupy
+
+RUN /usr/bin/python3.10 -m pip install maraboupy
+
 ## SAVer
 
 RUN git clone https://github.com/svm-abstract-verifier/saver.git && \