2020-07-17から1日間の記事一覧
農夫 山羊 狼 キャベツ の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------time ./river 8Fri Jul 17 06:13:43 20200, 0, 0, 0, {0, 1}, {0, 1}, {0, 1}, {0, 1}, {0, 1}, …
農夫 山羊 狼 キャベツ の川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------time ./river 8Fri Jul 17 06:13:43 20200, 0, 0, 0, {0, 1}, {0, 1}, {0, 1}, {0, 1}, {0, 1}, …