小编hak*_*ank的帖子

请你帮助优化这个工作的 MiniZinc 代码：

任务：有一个有 6 个时隙的会议。有 3 位演讲者参加了会议，每个人都可以在特定的时段使用。每个扬声器将出现预定数量的插槽。

目标：生成发言者最早完成的时间表。

示例：演讲者 A、B 和 C。演讲时长 = [1, 2, 1]

扬声器可用性：

+---+------+------+------+
|   | Sp.A | Sp.B | Sp.C |
+---+------+------+------+
| 1 |      | Busy |      |
| 2 | Busy | Busy | Busy |
| 3 | Busy | Busy |      |
| 4 |      |      |      |
| 5 |      |      | Busy |
| 6 | Busy | Busy |      |
+---+------+------+------+

链接到工作 …