问题描述
我正在尝试按机器容量扩展 the JobshopSat example，即一个简单的每天一个班次的模型（每台机器每天有 8 小时）。
首先，我尝试添加一个（累积）约束，但使用这种方法无法取得成功。
jobshop_with_maintenance.py 向 machine_to_intervals 字典添加一个不可移动的区间。使用这种方法，我可以为每台机器和每一天添加预留的时间间隔；这也为周末等提供了灵活性。与示例中的小模型数据配合得很好，但考虑到现实世界的情况，它会大大增加变量的数量。一个典型的用例可能有 20 ... 50 台机器和 3 个月的规划期限。
这是推荐的方法还是有基于可用约束的示例？
我已经找到了：
- The job shop problem: CP-SAT solver performance issues (relatively-beginner) - 由于请求者提供的信息不足而关闭
- HELP: Split tasks in jobShop like problem - 可能超出了我的问题范围
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）