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