我要在线性整数编程中建模的约束如下。稍后，我将尝试使用各种求解器，但首先需要对问题进行建模。
给出整数变量：x1，x2，x3，x4，y1，y2，y3，y4，我有以下约束：
IF (y1 ≤ y3 ≤ y2 OR y1 ≤ y4 ≤ y2)
THEN (x1 ≥ x4 OR x2 ≥ x3)
此外，对于所有这些变量，我都有上限和下限。
我认为我必须使用“大M”技术，但是我不确定如何在IF条件和THEN条件下处理逻辑或，以及如何建立一个完整的模型。
你们中有人知道如何解决这个问题吗？ 预先非常感谢。