Array length: Difference between revisions
Content deleted Content added
added MiniZinc |
→{{header|MiniZinc}}: refactoring |
||
Line 2,033:
=={{header|MiniZinc}}==
<lang MiniZinc>
array[int] of
var int: size = length(arr);
|
added MiniZinc |
→{{header|MiniZinc}}: refactoring |
||
Line 2,033:
=={{header|MiniZinc}}==
<lang MiniZinc>
array[int] of
var int: size = length(arr);
|