CVC4_COMPONENT="$COMPONENT"
CVC4_HOME="$CVC4_COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
CVC4_VERSION="1.5pre-2"

CVC4_SOLVER="$CVC4_HOME/cvc4"

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