dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / es / examples / jobshop_es.ozn
at develop 252 B view raw
1output ["Fin = "++format(end)++"\n"]++[(show_int(digs,s[i,j])++" ")++if j==last then "\n" else "" endif | i in JOB, j in TASK, ]; 2set of int: JOB = 1..5; 3set of int: TASK = 1..5; 4int: last = 5; 5int: digs = 2; 6array [JOB,TASK] of int: s; 7int: end = 30;