anchor.diff:        else
           let totalDeps = state.Constraints |> Map.count
           let satisfiedDepsCount = totalDeps - (unsatisfied |> Seq.length)
  -        log( ("resolved " |> text) +
  +        log( ("Resolved " |> text) +
             (satisfiedDepsCount.ToString() |> highlight) +
             (subtle "/") +
             (totalDeps.ToString() |> highlight),
  
positive.code:               // we need to skip every branch that requires Package + Constraint
                yield Resolution.Failure x
              | NoLocationAvaiable (p, c)  ->
                yield Resolution.Error (new System.Exception ("no location found for: " + p.ToString() + "that could satisfy: " + c.ToString()))
            | Result.Ok (package, (packageLock, versions)) ->
              try
                log(("Exploring "|>text) + (PackageIdentifier.showRich package), LoggingLevel.Info)
  
                // We pre-emptively grab the lock
                let! lockTask =
                  sourceExplorer.FetchLock packageLock
                  |> Async.StartChild
  
                log("Fetching manifest ..." |> text, LoggingLevel.Info)
                let manifestFetchStart = System.DateTime.Now
                let! manifest = sourceExplorer.FetchManifest packageLock
                let manifestFetchEnd = System.DateTime.Now
  
negative.code:         |> Map.toSeq
          |> Seq.filter (fst >> packages.Contains >> not)
          |> Map.ofSeq
    }
  