diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2022-06-24 08:33:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-23 23:33:36 -0700 |
commit | 70650cacbd95025985a912c3aa17a78756bb6e4a (patch) | |
tree | 4038d481982baea8fee5b54e391f40635b51630f /.gitattributes | |
parent | d8a5638d9f24d1724f30da3752c41e637cf4c32c (diff) | |
download | spack-70650cacbd95025985a912c3aa17a78756bb6e4a.tar.gz spack-70650cacbd95025985a912c3aa17a78756bb6e4a.tar.bz2 spack-70650cacbd95025985a912c3aa17a78756bb6e4a.tar.xz spack-70650cacbd95025985a912c3aa17a78756bb6e4a.zip |
ASP-based solver: rescale target weights so that 0 is always the best score (#31226)
fixes #30997
Instead of giving a penalty of 30 to all nodes when preferences
are not package specific, give a penalty of 100 to all targets
of a node where we have package specific preferences, if the target
is not explicitly preferred.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions