dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / magic-series2.mzn
at develop 270 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% redundant 7constraint sum(i in 0..n-1)(s[i]) = n; 8constraint sum(i in 0..n-1)(s[i] * i) = n; 9solve satisfy; 10 11output [ "s = ", show(s), ";\n" ] ;