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