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