software/minizinc/docs/en/examples/jdata.dzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / docs / en / examples / jdata.dzn

at develop 153 B view raw

1JOB = anon_enum(5);
2TASK = anon_enum(5);
3d = [| 1, 4, 5, 3, 6 
4     | 3, 2, 7, 1, 2
5     | 4, 4, 4, 4, 4  
6     | 1, 1, 1, 6, 8
7     | 7, 3, 2, 2, 1 |];