SchedulerRX · Constraint Debugger Agent

请分析这个 CP-SAT 排班模型为何无解：我有护士排班约束、最少休息时间和技能覆盖要求。下面是求解器返回的 INFEASIBLE 日志、关键约束和输入数据。请用通俗中文解释冲突来源，并只给出你重新求解验证过的修复建议。

输出造成无解的核心约束冲突、可读诊断说明，以及已验证可行的修改方案。

我准备把每日最少值班人数从 4 改成 3，并放宽连续夜班限制。请基于原模型重新求解，判断这些修改是否足以消除 INFEASIBLE，并说明还有没有残留冲突。

输出修改后是否可行的结论、重新求解结果，以及若仍无解时的剩余冲突说明。

在原本可行的生产排程模型中，我新增了设备维护窗口和订单优先级约束，结果变成 INFEASIBLE。请比较变更前后约束，找出最可能导致无解的新增规则组合，并给出经过实际求解验证的调整建议。

输出新增约束导致冲突的定位分析、原因解释，以及经过验证的调整路径。