let listcheck ?callback univ idlist =
let solver = init_solver_univ univ in
let timer = Util.Timer.create "Algo.Depsolver.listcheck" in
Util.Timer.start timer;
let failed = ref 0 in
let size = Cudf.universe_size univ in
Util.Progress.set_total progressbar_univcheck size ;
let tested = Array.make size false in
let check = pkgcheck callback solver failed tested in
List.iter check idlist ;
Util.Timer.stop timer !failed