diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-06-22 20:37:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-22 11:37:24 -0700 |
| commit | acc11f676dd55b13240674512bf7610334107768 (patch) | |
| tree | 6703ad695b69c3f355c491a1ac9db3fd51af9b19 /.gitignore | |
| parent | 02b92dbf1073fff435be9e5fb91d5188f25c8fc1 (diff) | |
| download | spack-acc11f676dd55b13240674512bf7610334107768.tar.gz spack-acc11f676dd55b13240674512bf7610334107768.tar.bz2 spack-acc11f676dd55b13240674512bf7610334107768.tar.xz spack-acc11f676dd55b13240674512bf7610334107768.zip | |
ASP-based solver: fix provider logic (#24351)
This commit fixes a subtle bug that may occur when
a package is a "possible_provider" of a virtual but
no "provides_virtual" can be deduced. In that case
the cardinality constraint on "provides_virtual"
may arbitrarily assign a package the role of provider
even if the constraints for it to be one are not fulfilled.
The fix reworks the logic around three concepts:
- "possible_provider": a package may provide a virtual if some constraints are met
- "provides_virtual": a package meet the constraints to provide a virtual
- "provider": a package selected to provide a virtual
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions