How to convert a x-d list to an array？
From other questions, I know how to convert a 1-d list to an array. The function “Store” inside can finish this. However, I would like to get a general method to do this job.
z3py : How to convert a x-d list to an array？
From other questions, i knew how to convert a 1-d list to an array. The function “Store” inside can finish this. However, i would like to get a general method to do this job. I don’t know how many dimensions the array has, and I don’t know the size of each dimension in the array.