path: root/scripts/build/v-stp.inc

# Build information for STP solver
required_variables_stp=(
  "STP_VERSION"
  "MINISAT_VERSION"
)

# On which artifacts does STP depend on
artifact_dependency_stp=("sanitizer_compiler")