# Build information for metaSMT solver
required_variables_metasmt=(
  "METASMT_VERSION"
  "METASMT_DEFAULT"
)

artifact_dependency_metasmt=("")