diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-08-23 21:02:20 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-23 19:02:20 +0000 |
commit | e0059ef9613cd7a1a77611aa0957a60acc82582e (patch) | |
tree | 6e088ad543f2b195ac7a1e76d990c0728b92f9aa /bin | |
parent | 7d9fad9576d981b305760960305cd57af1d66082 (diff) | |
download | spack-e0059ef9613cd7a1a77611aa0957a60acc82582e.tar.gz spack-e0059ef9613cd7a1a77611aa0957a60acc82582e.tar.bz2 spack-e0059ef9613cd7a1a77611aa0957a60acc82582e.tar.xz spack-e0059ef9613cd7a1a77611aa0957a60acc82582e.zip |
ASP-based solver: split heuristic for duplicate nodes (#39593)
The heuristic for duplicate nodes contains a few typos, and
apparently slows down the solve for specs that have a lot of
sub-optimal choices to be taken.
This is likely because with a lot of sub-optimal choices, the
low priority, flawed heuristic is being used by clingo.
Here I split the heuristic, so complex rules that matter only
if we allow multiple nodes from the same package are used
only in that case.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions