RosettaCodeData/Task/Array-length/MiniZinc/array-length.minizinc
2023-07-01 13:44:08 -04:00

6 lines
106 B
Text

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