我想通过 Python API 使用 Gurobi 在一组约束中表达if then else语句，其中 B 和 A 是二元决策变量。
这是我坚持的声明：
如果(B[r,u,v,x,y])那么A[r,u,x] 或 A[r,v,y]
否则 ，当 A[r,u,x] =1 和 A[r,v,x] 时，设置 B[r,u,v,x,y] == 0
我知道如何将if then的第一部分表达为：
B[r,u,v,x,y] >= A[r,u,x]
B[r,u,v,x,y] >= A[r,v,u]
但不确定如何制定约束：当 B[r,u,v,x,y] 为 0 如果 A[r,u,x] 和 A[r,v,y] 在 else 中设置为 1部分。
谢谢