2020-08-23から1日間の記事一覧
魔方陣を制約論理プログラム iZ-Cを使って技巧的に解きます。-----------------------------------------------------------------------------make && ./magicsqure_simp 4 |lessSun Aug 23 07:03:24 2020{0..13}, {0..15}, {0..15}, {1..14}, {0..15}, {0.…
魔方陣を制約論理プログラム iZ-Cを使って技巧的に解きます。-----------------------------------------------------------------------------make && ./magicsqure_simp 4 |lessSun Aug 23 07:03:24 2020{0..13}, {0..15}, {0..15}, {1..14}, {0..15}, {0.…