%%文件名：queen.mzn%用法：%minizn-a--soln-sep“”--search-complete-msg“”-D“n=8；”queen.mzn 2>/dev/null|awk'NF'|sort%%另请参见http://www.minizinc.org%包括“globals.mzn”；整数：n；var 1..n:x的数组[1..n]；var 1..n:y的数组[1..n]；约束逆（x，y）；所有约束（[abs（x[i]-x[j]）！=abs（i-j）|i，j在1..n中，其中i-->