如何在gurobipy中实现"or“逻辑

import gurobipy as gp

# 创建模型
model = gp.Model()

# 创建变量
x = model.addVar(vtype=gp.GRB.BINARY, name="x")
y = model.addVar(vtype=gp.GRB.BINARY, name="y")
z = model.addVar(vtype=gp.GRB.BINARY, name="z")

# 添加约束
model.addConstr(x + y >= 1, name="or_constraint")

# 设置目标函数（这里省略）

# 求解模型
model.optimize()

# 输出结果
if model.status == gp.GRB.OPTIMAL:
    print("Optimal solution found!")
    print("x =", x.x)
    print("y =", y.x)
    print("z =", z.x)
else:
    print("No solution found.")