# -*- shell-script -*- :mode=shellscript:

CVC4_HOME="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM32:-$ISABELLE_PLATFORM64}"
CVC4_VERSION="1.5"

CVC4_SOLVER="$CVC4_HOME/cvc4"

if [ -e "$CVC4_HOME" ]
then
  CVC4_INSTALLED="yes"
fi
