let progressbar_init = Util.Progress.create "Depsolver_int.init_solver"