2. 全局约束 2.1 all_different* alldifferent=all_different include "all_different.mzn"; all_different(array[int] of var int: x) eg. constraint all_different( [S,E,