1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3 4% Test using arrays of strings as generators. 5 6array[1..3] of string: something = ["foo", "bar", "baz"]; 7array[1..3] of string: x = [s ++ "s" | s in something]; 8solve satisfy; 9output x;
dekker.one