Man pages matching name solver_abtb in section 4: