Download
%
% This is the problem from the Choco v 2.1 example 
% sample.scheduling.Rehearsal, the one defined in main() .

num_pieces = 5;
num_players = 3;
duration = [4,6,3,5,7];
rehearsal =  array2d(1..num_players, 1..num_pieces, 
        [
        1,1,0,1,0,
        0,1,1,0,1,
        1,1,0,1,1   
  ]);