let strongconflicts universe =
let g = CG.create () in
let universe = Depsolver.trim universe in
let ig = Strongconflicts_int.strongconflicts universe in
let inttovar = CudfAdd.inttovar universe in
(* convert output graph *)
ICG.iter_vertex (fun v -> CG.add_vertex g (inttovar v)) ig;
ICG.iter_edges_e (fun (x, (x', y', l), y) ->
CG.add_edge_e g (inttovar x,
(inttovar x', inttovar y', cvt universe l),
inttovar y)
) ig;
g