Strict vs. Default Concretization for Complex Dependency Trees
When managing large software stacks in Spack (v0.20+), the concretizer must resolve abstract specifications into a concrete build plan. There is a documented trade-off between using strict version enforcement and the default loose resolution strategy. Strict concretization limits the search space by enforcing exact version matches, which typically reduces re