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

7 lines
106 B
Text
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
array[int] of int: arr = [1,2,3];
var int: size = length(arr);
solve satisfy;
output [show(size),"\n"];