Install eldarica on OSX machines

.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
@@ -73,6 +76,13 @@ then
   cd ..
   sudo rm -rf "$boost_dir"
 
+  # eldarica
+  eldarica_version="2.1"
+  wget "https://github.com/uuverifiers/eldarica/releases/download/v${eldarica_version}/eldarica-bin-${eldarica_version}.zip" -O /tmp/eld_binaries.zip
+  unzip /tmp/eld_binaries.zip -d /tmp
+  sudo mv /tmp/eldarica/{eld,eld-client,target,eldEnv} /usr/local/bin
+  rm -rf /tmp/{eldarica,eld_binaries.zip}
+
   # z3
   z3_version="4.12.1"
   z3_dir="z3-z3-$z3_version"