diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index f772dd8d..e65a6ff3 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 \
     freeglut3-dev \
     freetds-dev \