dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / es / examples / magic-series_es.mzn
at develop 170 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 9solve satisfy; 10 11output [ "s = \(s);\n" ] ;