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