the entry for solvers