update install.sh

install.sh

@@ -109,8 +109,14 @@ else
 fi
 
 ### Glucose
-if ! hash glucose 2>/dev/null
+GLUCOSE_VERSION="$(glucose --version 2>/dev/null)"
+if [[ ! "$GLUCOSE_VERSION" == *4.0* ]]
 then
+  if hash glucose 2>/dev/null
+  then
+    pathglucose="$(which glucose)"
+    rm $pathglucose
+  fi
   glucose_url=http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-4.1.tgz
   glucose_archive=${glucose_url##*/}
   if [[ ! -r $glucose_archive ]]
@@ -124,6 +130,15 @@ then
   popd
 fi
 
+### MiniMaxSat
+if ! hash minimaxsat1.0 2>/dev/null
+then
+  curl -fsSLO https://github.com/izquierdo/tesis_postgrado/raw/master/src/MiniMaxSat/minimaxsat1.0
+  curl -fsSLO https://github.com/izquierdo/tesis_postgrado/raw/master/src/MiniMaxSat/ubcsat
+  chmod a+x minimaxsat1.0
+  chmod a+x ubcsat
+fi
+
 ### Jupyter
 packages='jupyter bokeh ipywidgets'
 if hash pip3 2>/dev/null