Build Z3 from source

qhdwight · qhdwight · commit 310ff055853c · 2023-02-20T11:31:45.000-05:00
diff --git a/containers/Dockerfile b/containers/Dockerfile
@@ -26,7 +26,7 @@ USER wolvsec
 
 ENV PATH="${PATH}:/home/wolvsec/.local/bin"
 
-RUN pip3 install pwntools numpy ipython z3-solver
+RUN pip3 install pwntools numpy ipython
 
 RUN bash -c "$(curl -fsSL https://gef.blah.cat/sh)"
 
