void cleanup_solver(int num_threads)
Cleans up the created solvers.
void initialize_solver(int num_threads)
Initializes the solver.
void solver_log()
Executes solver specific logging tasks.
void init_solver_log()
Initializes solver specific items for logging.
const char * solver_name()
Returns a descriptive solver name.