diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-08-24 18:24:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-24 09:24:18 -0700 |
| commit | 31dcdf7262316d0ab04a82af16a763888cd6439f (patch) | |
| tree | c67213d5eb894aba451e8ea67e7b2442f23d82c2 /var | |
| parent | b2968c817f9c153b59917c5a5584ee05a6272996 (diff) | |
| download | spack-31dcdf7262316d0ab04a82af16a763888cd6439f.tar.gz spack-31dcdf7262316d0ab04a82af16a763888cd6439f.tar.bz2 spack-31dcdf7262316d0ab04a82af16a763888cd6439f.tar.xz spack-31dcdf7262316d0ab04a82af16a763888cd6439f.zip | |
ASP-based solver: rework version facts (#25585)
This commit rework version facts so that:
1. All the information on versions is collected
before emitting the facts
2. The same kind of atom is emitted for versions
stemming from different origins (package.py
vs. packages.yaml)
In the end all the possible versions for a given
package are totally ordered and they are given
different and increasing weights staring from zero.
This refactor allow us to avoid using negative
weights, which in some configurations may make
parent node score "better" and lead to unexpected
"optimal" results.
Diffstat (limited to 'var')
0 files changed, 0 insertions, 0 deletions