diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh
index 4ca4a31d503b..a93427ddf750 100755
--- a/.circleci/osx_install_dependencies.sh
+++ b/.circleci/osx_install_dependencies.sh
@@ -55,6 +55,9 @@ then
   brew install coreutils
   brew install diffutils
   brew install grep
+  # JRE is required to run eldarica solver
+  brew install java
+  brew install unzip
 
   # writing to /usr/local/lib need administrative privileges.
   sudo ./scripts/install_obsolete_jsoncpp_1_7_4.sh
@@ -90,6 +93,14 @@ then
   cd ../..
   rm -rf "$z3_dir"
 
+  # eldarica
+  eldarica_version="2.1"
+  wget "https://github.com/uuverifiers/eldarica/releases/download/v${eldarica_version}/eldarica-bin-${eldarica_version}.zip" -O /opt/eld_binaries.zip
+  unzip /opt/eld_binaries.zip -d /opt
+  export PATH="$PATH:/opt/eldarica"
+  rm -f /opt/eld_binaries.zip
+  cd ..
+
   # evmone
   evmone_version="0.11.0"
   if [[ $(uname -m) == 'arm64' ]]