你应该是上下文其他地方的错误。
这样的测试代码没有问题：
sets: student/1..4/:; teacher/1..4/:; set1(student, teacher): x;endsets@for(student(i): @sum(teacher(j): x(i, j))=4);
