RosettaCodeData/Task/Array-length/MiniZinc/array-length.minizinc

7 lines
106 B
Plaintext

array[int] of int: arr = [1,2,3];
var int: size = length(arr);
solve satisfy;
output [show(size),"\n"];