anchor.diff:              |> Option.defaultValue false
           ))
   
  +    let printCores () =
  +      System.Console.WriteLine "----------"
  +      for cores in unresolvableCores |> Map.keySet do
  +        cores |> Set |> System.Console.WriteLine
  +        System.Console.WriteLine "&&&&&"
  +      System.Console.WriteLine "----------"
   
       let trackLocal locations (p, cs) = asyncSeq {
         let mutable hadCandidate = false
         let c = cs |>  All |> Constraint.simplify
   
  -      let conflicts = testIfHasBadCore (Map.ofSeq [(p, cs)]) |> Seq.tryHead
  +      let conflicts = findBadCores (Map.ofSeq [(p, cs)]) |> Seq.tryHead
   
         match conflicts with
         | Some (dep, _) ->
  
positive.code:             |> Seq.map toPackageConstraint
              |> Seq.append (constraints |> Map.toSeq)
              |> constraintsOf
              |> testIfHasBadCore
              |> Seq.map TransitiveConflict
              |> Set
  
  
negative.code:     let log = namespacedLogger context.Console ("solver")
  
      let selections = pruneSelections state.Selections state.Root
  
      let unresolved = breathFirst selections state.Root |> Seq.toList
  
  