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