2
Похоже, что Microsoft полностью разместила свой сайт «rise4fun», а Z3 Python tutorial больше не загружается.Как определить матрицу?
Как определить матрицу в Z3 для Python и наложить на нее некоторые ограничения?
A
ответ
2
Один пример: 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) ]
+0
Удивительный. Спасибо! – mpen
+0
Привет, теперь возвращается Z3Py. Всего наилучшего. –
, что этот сайт используется для (raise4fun) Я ничего от этого не понять ? – mojibuntu
FYI, учебные пособия доступны по ссылке из этого ответа: http://stackoverflow.com/questions/20002135/where-can-i-get-z3py-tutorials/20005713#20005713, и вы можете посмотреть эту дискуссию http://stackoverflow.com/questions/15599030/z3-performing-matrix-operations – Taylor
спасибо, звучит хорошо. Я должен узнать об этом. – mojibuntu