Array.inverse()

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

Array.inverse()

Calculate the inverse of this array.

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

-3	2
2	-1

See Also

Array.adjoint()

Array.determinant()