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