Again: Endless loop with conflict that isn´t one

[Flohack74]

Description

When paket tries to resolve a 3rd party dependency conflict it does not find any resolution. But actually the conflict isn´t one, as it has no contradiction in paket.dependencies

Repro steps

Please provide the steps required to reproduce the problem

1. Set up a direct dependency to log4net without version restriction

2. Have another 2 direct dependencies, which also reference log4net. One of them has a precise version number as a restriction, the other has >= restriction

Expected behavior

Paket gives a warning but uses the precise version number to resolve.

Actual behavior

Paket is running for over 30mins with that warning:

The process is taking longer than expected.
Paket may still find a valid resolution, but this might take a while.
  Conflict detected:
   - Dependencies file requested package log4net: >= 0
   - Common.Logging 31.0.8 requested package log4net: 2.0.12
   - DistributionBase 15.0.142 requested package log4net: >= 2.0.12

[Flohack74]

It´s actually fully saturating a CPU core in that state...

[Flohack74]

And also to note this was without a paket.lock file, we discovered that thing accidentially. If I restore paket.lock all is fine.

[MiloszKrajewski]

WORKAROUND: resolve "conflict" yourself, add fixed version to paket.dependencies, run paket install, remove fixed version from paket.dependencies (paket.lock will contain forced resolution until "next time")

[sja-schleupen]

We see this issue in different projecs and cases without a clear conflict. Is the message wrong? Our a bug in solving the constraints?

[flibustier7seas]

Encountered the same issue, is there any plan to address it?

  Conflict detected:
   - AWSSDK.S3 3.7.3.15 requested package AWSSDK.Core: >= 3.7.3.22 < 4.0
   - AWSSDK.SecurityToken 3.7.300.85 requested package AWSSDK.Core: >= 3.7.303.24 < 4.0

The process is taking longer than expected.
Paket may still find a valid resolution, but this might take a while.

paket.dependencies:

framework: netcoreapp3.1, netstandard2.0
storage: none
lowest_matching: true
strategy: min

source https://api.nuget.org/v3/index.json

nuget AWSSDK.S3 >= 3.7.3.15
nuget MongoDB.Bson >= 2.25
nuget MongoDB.Driver >= 2.25
nuget MongoDB.Driver.GridFS >= 2.25

Paket version 8.0.3+75b30cdcb8859e8d129f139444d9b9b600bfff07