diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2024-04-12 09:31:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-12 09:31:44 +0200 |
| commit | 263007ba81ac3164531de7bab8c8e3e20895cf26 (patch) | |
| tree | 3727af7c47a417768e9a2bc11ef8f9657076acd9 /var | |
| parent | 3b6e99381f015e2a128b221622e01ad99df0ef7e (diff) | |
| download | spack-263007ba81ac3164531de7bab8c8e3e20895cf26.tar.gz spack-263007ba81ac3164531de7bab8c8e3e20895cf26.tar.bz2 spack-263007ba81ac3164531de7bab8c8e3e20895cf26.tar.xz spack-263007ba81ac3164531de7bab8c8e3e20895cf26.zip | |
solver: add an integrity constraint for virtual nodes (#43582)
Upon close inspection of clingo answer sets, in some cases we have "equivalent" (i.e. same hash for the concrete spec) duplicates that differ only because of virtual nodes that are added to the answer set, without any edge using them.
Diffstat (limited to 'var')
0 files changed, 0 insertions, 0 deletions