let conflict_graph universe =
let gr = UG.create () in
Cudf.iter_packages (fun pkg ->
List.iter (fun (pkgname,constr) ->
List.iter (UG.add_edge gr pkg)
(CudfAdd.who_provides universe (pkgname,constr))
) pkg.Cudf.conflicts
) universe
;
gr