我想在具有过渡时间和替代方案的 m 台机器上安排 n 个作业，并修改了 github/or-tools/scheduling_with_transitions_sat.py 中的示例，因为我还想要某种...