2020-07-16から1日間の記事一覧
魔方陣を制約論理プログラム iZ-Cを使って解きます。-----------------------------------------------------------------------------time ./magicsqure_simp 4 |lessThu Jul 16 06:48:10 2020{0..13}, {0..15}, {0..15}, {1..14}, {0..15}, {0..15}, {0..1…
魔方陣を制約論理プログラム iZ-Cを使って解きます。-----------------------------------------------------------------------------time ./magicsqure_simp 4 |lessThu Jul 16 06:48:10 2020{0..13}, {0..15}, {0..15}, {1..14}, {0..15}, {0..15}, {0..1…