arrays - Z3 ソルバーの 2 次元配列

Question

C APIを使用してz3ソルバーを使用して、次のように2次元配列を定義したい

[3][3] = { {0,0,0},{0,0,0},{0,0,0}}

Z3 ソルバー C API を使用してこれを定義する方法では、各行の合計が 1 に等しく、各列の合計が 100 以下である必要があるなどの制約を追加する必要があります。