def __run_solver(solver_name, timeout, handled_parameters, active_parameters_values):
pm = ParametersModule(FileModule.get_solver_file_path(solver_name),
Config.Filepaths.RESULTS_FOLDER,
Config.Defaults.USED_CORES_NUMBER,
handled_parameters,
active_parameters_values)
tl = ThreadsLauncher(pm, Config.Defaults.USED_CORES_NUMBER, timeout, 0.5,
functools.partial(UI.__save_solver_output_data,
Config.Filepaths.RESULTS_FOLDER))
tl.run()
UI.__process_results(tl.get_results(), timeout)
