2021-01-04から1日間の記事一覧
025_最小時間で4艘の舟運びを制約論理プログラム iZ-Cを使って解きます。----------------------------------------------------------------------------make && ./river_boart 18 gcc -Wall -O3 -I. -L. -o river_boart river_boart.c -L. -liz -L/home/su…
025_最小時間で4艘の舟運びを制約論理プログラム iZ-Cを使って解きます。----------------------------------------------------------------------------make && ./river_boart 18 gcc -Wall -O3 -I. -L. -o river_boart river_boart.c -L. -liz -L/home/su…