(迷你锌)
包括“globals.mzn”;
整数:n=4;
%得到这个序列中所有小于250的数字
整数:最大值=250;
var 2..max_val:x的数组[1..n+1];
%介于2..max_val之间的素数
int:prime=2..max_val diff{i|i在2..max_val中,j在2..ceil(sqrt(i))中的集合,其中i mod j=0};
int集:素数;
素数=素数并{2};
解决满意度;
素数中的约束all_different(x)/\x[1]/\x[2]在素数中/\x[3]在素数里/\x[4]在素物中/\forall(i在1..n中)((x[i]<x[5]))/\pow(x[1],2)*pow(x[4],2)-pow(x[2],2).pow(x[3],2;
输出[显示(x[5])];
|