如何在or-tools求解器中计算数组元素？

from ortools.linear_solver import pywraplp

def compute_array_elements():
    # 创建求解器对象
    solver = pywraplp.Solver.CreateSolver('SCIP')

    # 定义变量和约束
    x = solver.IntVar(0, 10, 'x')
    y = solver.IntVar(0, 10, 'y')
    constraint = solver.Constraint(0, 5, 'constraint')
    constraint.SetCoefficient(x, 1)
    constraint.SetCoefficient(y, 1)

    # 定义目标函数
    objective = solver.Objective()
    objective.SetCoefficient(x, 1)
    objective.SetCoefficient(y, 2)
    objective.SetMaximization()

    # 设置求解策略
    solver.SetTimeLimit(10000)  # 设置求解时间限制

    # 调用求解器求解
    status = solver.Solve()

    # 获取结果
    if status == pywraplp.Solver.OPTIMAL:
        print('x =', x.solution_value())
        print('y =', y.solution_value())
        print('Objective value =', objective.Value())
    else:
        print('The problem does not have an optimal solution.')

compute_array_elements()