diff --git a/ci/install_test_pkgs.sh b/ci/install_test_pkgs.sh
index 8fbbf0c2..14c59b12 100644
--- a/ci/install_test_pkgs.sh
+++ b/ci/install_test_pkgs.sh
@@ -5,3 +5,4 @@
 python3 -m pip install black==22.10.0
 python3 -m pip install transformers==4.25.1 --no-deps
 python3 -m pip install pylint==2.14.0 astroid==2.11.6 mock==4.0.3
+python3 -m pip install z3-solver tabulate