Download
% This is the problem from Barbara M. Smith's Rehearsal paper cited in the
% model rehearsal.mzn
num_pieces = 9;
num_players = 5;
duration = [2, 4, 1, 3, 3, 2, 5, 7, 6];
rehearsal = array2d(1..num_players, 1..num_pieces, 
    [
     1,1,0,1,0,1,1,0,1,
     1,1,0,1,1,1,0,1,0,
     1,1,0,0,0,0,1,1,0,
     1,0,0,0,1,1,0,0,1,
     0,0,1,0,1,1,1,1,0
  ]);