# Build information for Z3 solver
required_variables_z3=(
  "Z3_VERSION"
)

# Artifacts Z3 depends on
artifact_dependency_z3=("sanitizer")