Optimization 如何在CP-SAT中模拟条件求和（如Excel中的sumif）？
我试图在CP-SAT中模拟一个作业车间问题的变体。在这个问题中，机器的容量>=1，因此我不能直接使用CP-SAT中的AddNoOverlap约束 决策变量是机器上作业操作的开始和完成时间 我想确保在机器M上的任何给定时间T，活动操作的数量应该是Optimization 如何在CP-SAT中模拟条件求和（如Excel中的sumif）？,optimization,sat,Optimization,Sat,我试图在CP-SAT中模拟一个作业车间问题的变体。在这个问题中，机器的容量>=1，因此我不能直接使用CP-SAT中的AddNoOverlap约束 决策变量是机器上作业操作的开始和完成时间 我想确保在机器M上的任何给定时间T，活动操作的数量应该是