anchor.diff:        Resolutions = resolutions |> Map.ofSeq
       }
     }
  -
  -  let unlock (solution : Solution) (packages : Set<PackageIdentifier>) : Solution = {
  -    Resolutions =
  -      solution.Resolutions
  -        |> Map.toSeq
  -        |> Seq.filter (fst >> packages.Contains >> not)
  -        |> Map.ofSeq
  -  }
  
positive.code:     |> Seq.map (fun (k, xs) -> (k, xs |> Seq.map snd |> Set.ofSeq))
      |> Map.ofSeq
  
    let findUnsatisfied (solution : Solution) (dependencies : Constraints) = seq {
      yield! Set.difference
        (dependencies |> Map.keys |> Set.ofSeq)
        (solution.Resolutions |> Map.keys  |> Set.ofSeq)
    }
  
    let findConflicts (solution : Solution) (dependencies : Constraints) = seq {
       let maybeConflict =
  
negative.code:        |> Seq.filter(snd >> not)
         |> Seq.map fst
     }
  
    let findUnsatisfied (solution : Solution) (dependencies : Constraints) = seq {
      yield! Set.difference
        (dependencies |> Map.keys |> Set.ofSeq)
        (solution.Resolutions |> Map.keys  |> Set.ofSeq)
  
      yield!
        findConflicts solution dependencies
  
    }
  
  
  
  
    let private lockToHints (lock : Lock) =
      lock.Packages
  