web-dev-qa-db-ja.com
/
home
/
日本語
/z3
z3
Z3：すべての満足のいくモデルを見つける
SATソルバー（Python）を使用して、特定の領域内の自由なポリオミノのすべての組み合わせを見つける