Skip to content
Snippets Groups Projects
Commit 5a7f5e88 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

[release] Added Maraboupy in the docker image

parent 23c5b3cb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
docker/Dockerfile.template
+ 4
− 0
View file @ 5a7f5e88
...@@ -76,6 +76,10 @@ cmake --build . ...@@ -76,6 +76,10 @@ cmake --build .
ENV PATH "/home/opam/Marabou/build:$PATH" ENV PATH "/home/opam/Marabou/build:$PATH"
## Maraboupy
RUN /usr/bin/python3.10 -m pip install maraboupy
## SAVer ## SAVer
RUN git clone https://github.com/svm-abstract-verifier/saver.git && \ RUN git clone https://github.com/svm-abstract-verifier/saver.git && \
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment