Man pages matching name solver_option in section 4: