Python 如何定义矩阵？

看起来微软完全搞糟了他们的“rise4fun”网站，不再加载

---

如何在Z3 for Python中定义矩阵并对其施加一些约束？

一个示例：9x9整数变量矩阵

X = [ [ Int("x_%s_%s" % (i+1, j+1)) for j in range(9) ] 
  for i in range(9) ]

示例：矩阵X的一些约束

cells_c  = [ And(1 <= X[i][j], X[i][j] <= 9) 
         for i in range(9) for j in range(9) ]

---

cells_c=[和（1）这个网站是用来做什么的（raise4fun）我什么都不懂？仅供参考，这些教程可以从这个答案的链接上获得：你可能想看看这个讨论，谢谢，听起来不错。我必须重新搜索一下。嗨，现在Z3Py在线又回来了。祝你一切顺利。