Lets say I have 2 points in space. Let\'s say p1=(1.2,2.3) and p2(1.2,3) and more generally an array of N nodes with points in space. How to put that to minizinc terms?