Array.thirds()

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

Array.thirds()

Divide the rows into three sections

MAGICSQUARE(3).thirds()

2 7 6

9 5 1

4 3 8

See Also

fourths

nth functions