let univcheck ?callback univ =
  let timer = Util.Timer.create "Algo.Depsolver.univcheck" in
  Util.Timer.start timer;
  let solver = init_solver_univ univ in
  let failed = ref 0 in
  let size = Cudf.universe_size univ in
  let tested = Array.make size false in
  Util.Progress.set_total progressbar_univcheck size ;
  let check = pkgcheck callback solver failed tested in
  for i = 0 to size - 1 do check i done;
  Util.Timer.stop timer !failed