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