1include "filter.model.mzn";
2
3n = 11;
4
5add = {5, 8, 9, 10, 11};
6mul = {1, 2, 3, 4, 6, 7};
7last = {8, 9, 11};
8
9del_add = 1;
10del_mul = 2;
11
12number_add = 2;
13number_mul = 3;
14
15dependencies = [     {6},  % 1
16	     	     {6},  % 2
17	     	     {7},  % 3
18	     	     {8},  % 4
19	     	     {9},  % 5
20	     	     {10}, % 6
21	     	     {11}, % 7
22		     {},   % 8
23		     {},   % 9
24	     	     {11}, % 10
25	             {}    % 11
26	             ];