2020-12-20から1日間の記事一覧
最小手数で宣教師と人食いの川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river_missio_num 14 gcc -Wall -O3 -I. -L. -o river_missio_num river_missio_num…
最小手数で宣教師と人食いの川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------make && ./river_missio_num 14 gcc -Wall -O3 -I. -L. -o river_missio_num river_missio_num…