Z3

魔方陣をPythonで自動的に作るとなると全パターンを挙げて埋めていけば理論上はできるのですが、時間がかかりすぎます。 Z3を使って作ってみました。