如何定義矩陣？

它看起來像微軟完全pooched他們的「rise4fun」網站和Z3 Python tutorial不再加載。如何定義矩陣？

如何定義在Z3中爲Python定義矩陣並對其施加一些約束？

2014-01-11 mpen

一些限制，這是什麼網站用於（raise4fun）我不明白，從它什麼？ – mojibuntu

僅供參考，教程可從此答案鏈接獲得：http://stackoverflow.com/questions/20002135/where-can-i-get-z3py-tutorials/20005713#20005713你可能想看看這個討論http://stackoverflow.com/questions/15599030/z3-performing-matrix-operations – Taylor

謝謝，聽起來不錯。我必須回顧一下。 – mojibuntu

一個例子：整型變量

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

例的9x9的矩陣：在矩陣X

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

來源

2014-01-11 13:47:25

太棒了。謝謝！ – mpen

嗨，現在Z3Py在線正在返回。祝一切順利。 –

如何定義矩陣？

回答

相關問題