如何在OrTools中定义至多Most约束

from ortools.sat.python import cp_model

def define_at_most_most_constraint():
    # 创建求解器对象
    model = cp_model.CpModel()

    # 定义变量
    num_vars = 5
    vars = []
    for i in range(num_vars):
        vars.append(model.NewIntVar(0, 1, f'var{i}'))

    # 定义至多Most约束
    most_value = 2
    model.AddAtMost(vars, most_value)

    # 创建求解器并求解
    solver = cp_model.CpSolver()
    status = solver.Solve(model)

    # 打印结果
    if status == cp_model.OPTIMAL or status == cp_model.FEASIBLE:
        for i in range(num_vars):
            print(f'{vars[i].Name()}: {solver.Value(vars[i])}')

define_at_most_most_constraint()