From 5a7f5e88c2bdea3fd08faa89ad900380c4248ced Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Wed, 19 Jun 2024 10:23:17 +0200
Subject: [PATCH] [release] Added Maraboupy in the docker image

---
 docker/Dockerfile.template | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docker/Dockerfile.template b/docker/Dockerfile.template
index 47d4a2f..122bb09 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 && \
-- 
GitLab