2020-07-18から1日間の記事一覧
おしどりあそびを制約論理プログラム iZ-Cを使って解きます。 --------------------------------------------------------------------------- ./oshidori Sat Jul 18 07:05:17 20202, 2, 2, 1, 1, 1, 0, 0, {0..2}, {0..2}, {0..2}, {0..2}, {0..2}, {0..2}…
おしどりあそびを制約論理プログラム iZ-Cを使って解きます。 --------------------------------------------------------------------------- ./oshidori Sat Jul 18 07:05:17 20202, 2, 2, 1, 1, 1, 0, 0, {0..2}, {0..2}, {0..2}, {0..2}, {0..2}, {0..2}…