Man pages matching name solver_option in section 2: