隣接行列から到達可能経路と距離を制約論理プログラム iZ-Cを使って探します。---------------------------------------------------------------------------make && ./short_path 0 4 6make: 'all' に対して行うべき事はありません.Fri Feb 5 08:59:06 202…

改良版： ハノイの塔パズルを制約論理プログラム iZ-Cを使って解きます。 --------------------------------------------------------------------------- aa=5; make && ./hanoi $aa $*1 make: 'all' に対して行うべき事はありません.Fri Jan 22 15:58:49 2…

最小手数で家族とじっちゃんの川渡りを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------aa=28; make && ./river_family_p $aa make: 'all' に対して行うべき事はありません.Mon Jan…

最小手数で家族の川渡りを制約論理プログラム iZ-Cを使って解きます。 --------------------------------------------------------------------------- aa=22; make && ./river_family $aa make: 'all' に対して行うべき事はありません.Sat Jan 16 20:38:34 …

ハノイの塔パズルを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------解答は板がどの棒に刺さっているかが変化し最小手数に最適化してゆきます。make && ./hanoi 4 18make: 'all' に…

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