let intcudf universe intgraph =
  let module PG = PackageGraph.G in
  let module SG = IntPkgGraph.G in
  let trasformtimer = Util.Timer.create "Defaultgraphs.intcudf" in
  Util.Timer.start trasformtimer;
  let size = 25000 in
  let cudfgraph = PG.create ~size () in
  SG.iter_edges (fun x y ->
    let p = CudfAdd.inttovar universe x in
    let q = CudfAdd.inttovar universe y in
    PG.add_edge cudfgraph p q
  ) intgraph ;
  SG.iter_vertex (fun v ->
    let p = CudfAdd.inttovar universe v in
    PG.add_vertex cudfgraph p
  ) intgraph ;
  debug "cudfgraph: nodes %d , edges %d"
  (PG.nb_vertex cudfgraph) (PG.nb_edges cudfgraph);
  Util.Timer.stop trasformtimer cudfgraph