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

Z3_COMPONENT="$COMPONENT"
Z3_HOME="$Z3_COMPONENT/$ISABELLE_PLATFORM"

# Z3_NON_COMMERCIAL="yes"

Z3_SOLVER="$Z3_HOME/z3"
Z3_REMOTE_SOLVER="z3"

if [ -e "$Z3_HOME" ]
then
  Z3_INSTALLED="yes"
fi
