我有一个线性模型可以正常工作，但我想减少大量的解决时间。一种方法是我将其转换为约束规划。 假设我有一项特定任务需要工作 5 个小时。例如，分配能量的可能性有很多：我可以执行 5 小时，一天完成任务，或者每天执行 2.5 小时，2 天完成。假设我们最多承认这项任务可以被打断一次，这样我们要么分配时间直到最后一天，要么分配 1 小时，然后在休息 3 天后回来（那里没有分配能量），将剩余的所需能量分配给所有休息后连续几天
任何人都可以建议我一些逻辑如何使用约束编程以紧凑的形式做到这一点吗？我不介意解决方案是否是 minizinc
的复合物