All the solvers are belonging to the logger module.