有没有办法使用Google OR Tools for python来设置析取约束？

from ortools.sat.python import cp_model

def solve_disjunction_constraint():
    model = cp_model.CpModel()
    
    # 定义布尔变量
    x = model.NewBoolVar('x')
    y = model.NewBoolVar('y')
    z = model.NewBoolVar('z')
    
    # 设置析取约束
    model.AddBoolOr([x, y, z])
    
    # 定义优化目标
    objective = model.NewMaximize(x + y + z)
    model.Maximize(objective)
    
    # 创建求解器并求解
    solver = cp_model.CpSolver()
    status = solver.Solve(model)
    
    # 输出结果
    if status == cp_model.OPTIMAL:
        print('x =', solver.Value(x))
        print('y =', solver.Value(y))
        print('z =', solver.Value(z))

solve_disjunction_constraint()