% 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
]);