我想简化出现在模型中的一组重复约束。
目的是确保为一组专家配备一定数量的技能，每个专家拥有 0..n 项技能。
目前，我必须为集合中的每个技能重复约束，但肯定有一种方法可以通过一个“通用”约束来简化它......
相关位：
%Each group needs at least one expert with skill 1
constraint forall(g in Groups) (sum(e in Experts where expertskills[e,1]=1 \/ expertskills[e,2]=1) (assignment[g,e,1])>=1);
%Each group needs at least one expert with skill 2
constraint forall(g in Groups) (sum(e in Experts where expertskills[e,1]=2 \/ expertskills[e,2]=2) (assignment[g,e,2])>=1);
etc...