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