ISABELLE_SMT="$COMPONENT" REMOTE_SMT="$ISABELLE_SMT/lib/scripts/remote_smt" REMOTE_SMT_URL="http://smt.in.tum.de/smt" # # Paths to local SMT solvers: # # CVC_SOLVER=PATH # YICES_SOLVER=PATH # Z3_SOLVER=PATH