dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / en / examples / magic-series2.mzn
at develop 301 B view raw
1int: n; 2array[0..n-1] of var 0..n: s; 3 4constraint forall(i in 0..n-1) ( 5 s[i] = (sum(j in 0..n-1)(bool2int(s[j]=i)))); 6 7constraint redundant_constraint(sum(i in 0..n-1)(s[i]) = n); 8constraint redundant_constraint(sum(i in 0..n-1)(s[i] * i) = n); 9 10solve satisfy; 11 12output [ "s = ", show(s), ";\n" ] ;