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

CVC3_COMPONENT="$COMPONENT"
CVC3_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
CVC3_VERSION="2.4.1"
CVC3_SOLVER="$CVC3_HOME/cvc3"
CVC3_REMOTE_SOLVER="cvc3"
CVC3_INSTALLED="yes"
