diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-03-26 15:22:38 +0100 |
---|---|---|
committer | Todd Gamblin <tgamblin@llnl.gov> | 2021-05-22 11:51:20 -0700 |
commit | e7494b627b7bfc033a944a3d024280eed9ca6c3c (patch) | |
tree | e409428a1392580c8a2f65ce925eb53f6b034c18 /share | |
parent | b11dd0478a70750f099aa46784601cdd71f0873e (diff) | |
download | spack-e7494b627b7bfc033a944a3d024280eed9ca6c3c.tar.gz spack-e7494b627b7bfc033a944a3d024280eed9ca6c3c.tar.bz2 spack-e7494b627b7bfc033a944a3d024280eed9ca6c3c.tar.xz spack-e7494b627b7bfc033a944a3d024280eed9ca6c3c.zip |
ASP-based solver: model disjoint sets for multivalued variants (#22534)
* ASP-based solver: avoid adding values to variants when they're set
fixes #22533
fixes #21911
Added a rule that prevents any value to slip in a variant when the
variant is set explicitly. This is relevant for multi-valued variants,
in particular for those that have disjoint sets of values.
* Ensure disjoint sets have a clear semantics for external packages
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions