summaryrefslogtreecommitdiff
path: root/var
diff options
context:
space:
mode:
authorMassimiliano Culpo <massimiliano.culpo@gmail.com>2023-08-23 21:02:20 +0200
committerGitHub <noreply@github.com>2023-08-23 19:02:20 +0000
commite0059ef9613cd7a1a77611aa0957a60acc82582e (patch)
tree6e088ad543f2b195ac7a1e76d990c0728b92f9aa /var
parent7d9fad9576d981b305760960305cd57af1d66082 (diff)
downloadspack-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 'var')
0 files changed, 0 insertions, 0 deletions