%主要起到的作用是,;%起主要作用是:优美的。mzn;%迷你锌-一个--soln sep“--搜索完整的味精”“-D”D“n=8;”优雅.mzn | awk‘NF’|排序;%;《除此之外,另请http://www.www.minizin.org ; 包括“globals.mzn”;; :n:n; 阵列[1..n]阵列[1..n]的1.n]的1.n:n:x; 阵列[1..n-1.n-1]1]的1]的1.n-1.n不同的(x); 所有约束([y[i]==abs(x[i+1]-x[i])| i in 1..n-1]);约束所有不同(y); 求解满足; 输出[show(x[i])++”“| i in 1..n];