diff --git a/EESSI-pilot-install-software.sh b/EESSI-pilot-install-software.sh
index 7312818a2c..b7cd3c901a 100755
--- a/EESSI-pilot-install-software.sh
+++ b/EESSI-pilot-install-software.sh
@@ -352,6 +352,13 @@ check_exit_code $? "${ok_msg}" "${fail_msg}"
 
 ### add packages here
 
+export CaDiCaL_EC="CaDiCaL-1.3.0-GCC-9.3.0.eb"
+echo ">> Installing ${CaDiCaL_EC}..."
+ok_msg="${CaDiCaL_EC} installed, let's solve some problems!"
+fail_msg="Installation of ${CaDiCaL_EC} failed, that's a pity..."
+$EB ${CaDiCaL_EC} --robot
+check_exit_code $? "${ok_msg}" "${fail_msg}"
+
 echo ">> Creating/updating Lmod cache..."
 export LMOD_RC="${EASYBUILD_INSTALLPATH}/.lmod/lmodrc.lua"
 if [ ! -f $LMOD_RC ]; then
diff --git a/eessi-2021.12.yml b/eessi-2021.12.yml
index f3ed9dd9c4..dd68e348ee 100644
--- a/eessi-2021.12.yml
+++ b/eessi-2021.12.yml
@@ -53,3 +53,7 @@ software:
          versions: 
            '3.9.1.1': 
              versionsuffix: -dmpar
+  CaDiCaL:
+     toolchains:
+       GCC-9.3.0:
+         versions: ['1.3.0']