title: Two dimensional Array in Z3 solver
body: <p>I want to define an two dimensional array as following using z3 solver using C API</p>
  
  <p>a[3][3] = { {0,0,0},{0,0,0},{0,0,0}}</p>
  
  <p>How to define this using Z3 solver C API where in i need to add constraints such as sum of each rows is equal to 1 and sum of each coloums should me &lt;= 100.</p>