diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2022-06-16 18:25:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-16 09:25:56 -0700 |
| commit | 895ceeda388d3bff406077a5c3689102d53a34c0 (patch) | |
| tree | 1742d6d98a3b3e28583ded06f90260a287f21ad2 /NOTICE | |
| parent | 6f1e3a4ad32d629fe68c34732e6d211d053a8c0a (diff) | |
| download | spack-895ceeda388d3bff406077a5c3689102d53a34c0.tar.gz spack-895ceeda388d3bff406077a5c3689102d53a34c0.tar.bz2 spack-895ceeda388d3bff406077a5c3689102d53a34c0.tar.xz spack-895ceeda388d3bff406077a5c3689102d53a34c0.zip | |
concretize.lp: impose a lower bound on the number of version facts if a solution exists (#31142)
* concretize.lp: impose a lower bound on the number of version facts if a valid version exists
fixes #30864
* Add a unit test
Diffstat (limited to 'NOTICE')
0 files changed, 0 insertions, 0 deletions