%%文件名：langford.mzn%用法：%minizin-a--soln-sep“”--search-complete-msg“”-D“n=8；”langford.mzn 2>/dev/null|awk'NF'|sort%%另请参见http://www.minizinc.org%包括“globals.mzn”；整数：m=2；%副本数量整数：n；%位数-->请参阅命令行-D“n=8；”整数：l=m*n；变量1..n:x的数组[1..l]；约束forall（[forall（[x[p]=k->（x[p+k+1]=k=/x[p-k-1]==k）|p in 1..l]）|k in 1..n]）；所有约束（[sum（[x[p]==k|p in 1..l]）==m|k in 1..n]）；约束lex_lesseq（x，反向（x））；解决满意度；输出[show（x[i]）++“”|i in 1..l]；