dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / en / examples / nurse.dzn
at develop 86 B view raw
1NURSE = anon_enum(7); 2DAY = anon_enum(10); 3 4req_day = 3; 5req_night = 2; 6min_night = 2;