diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index a55009a9..fca9e26d 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -18,6 +18,7 @@ apt-get install -y \
     cmake \
     coinor-libclp-dev \
     curl \
+    cvc5 \
     dvipng \
     erlang \
     freeglut3-dev \