Array.unzip()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.unzip(OtherArray)

Reverse of Array.zip()

Split alternate elements into separate array.

1..10.unzip()

1	3	5	7	9
2	4	6	8	10

See Also

zip