add CVC5 into the examples script.
The example is not sufficient for a full functional check,
but it is sufficient to check for installed and loaded solvers.
@@ -77,7 +77,7 @@ esac
# build the classpath including all solvers
CLASSPATH="$CLASSPATH$SEP$PATH_TO_JAVASMT/bin$SEP$PATH_TO_JAVASMT/lib/java/core/*"
-SOLVERS="boolector cvc4 mathsat optimathsat princess smtinterpol yices2 z3"
+SOLVERS="boolector cvc4 cvc5 mathsat optimathsat princess smtinterpol yices2 z3"
for solver in $SOLVERS ; do
CLASSPATH="$CLASSPATH$SEP$PATH_TO_JAVASMT/lib/java/runtime-$solver/*"
done
