sunasunaxの日記

制約論理プログラム iZ-C の紹介

2020-09-01から1ヶ月間の記事一覧

ナンバーリンクをiZ-Cを使って解きます。

ナンバーリンクをiZ-Cを使って解きます。-----------------------------------------------------------------------------make && ./num_link 10 1 3 3 7 7 11 2 2 8 8 15 1 1 6 7 12 Sun Sep 13 11:13:36 2020 10, 1 3 3 7 7 11QR:3, 3, {2..4}, {2..4}, {…

指定したステップ数でゴールの格子点に到達するをiZ-Cを使って解きます。

指定したステップ数でゴールの格子点に到達するをiZ-Cを使って解きます。-----------------------------------------------------------------------------make && ./kohshi 10 29 1Thu Sep 10 19:57:00 2020QR:0, 0, {0, 1}, {0, 1}, {0..2}, {0..2}, {0..3…

複合魔方陣を制約論理プログラム iZ-Cを使って解きます。

複合魔方陣を制約論理プログラム iZ-Cを使って解きます。-----------------------------------------------------------------------------make && ./chk_mcons gcc -Wall -O3 -I. -L. -o chk_mcons chk_mcons.c -L. -liz -L/home/sunasuna/TEST/IZC64/izC_v…