1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 len: 1 7***/ 8 9array[1..2] of var bool: x = [true, _]; 10 11var int: len ::add_to_output; 12constraint len = let { 13 array[int] of var bool: x_fixed = [x[i] | i in index_set(x) where is_fixed(x[i])]; 14} in length(x_fixed);
dekker.one