Array.cartesianproduct()

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

Array.cartesianproduct()

Returns cartesian product of each array element in the array.

[1..3,2..3].cartesianproduct()

1 2

1 3

2 2

2 3

3 2

3 3

To find all Pythagorean Triplets between 1..10, do:

[1..10,1..10].cartesianproduct().filter(r=>ISINTEGER(SQRT(SUMSQ(r))))

3	4
4	3
6	8
8	6