how to declare matriz[3][3] or [2][2] in Z3 using SMT -

i need write matrix[n][n] in smt using z3opt, did not find in rise4fun guide.

i use z3opt site write code. can't use c/c++/.net, smt.

if matrix dimensions nxn statically known, introduce symbol m_i_j per matrix element. make sense automatically generate corresponding smt code, e.g. via script.