sunasunaxの日記

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

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

格子道順ふかしぎ お姉さんといっしょに数えてみよう。をiZ-Cで解きます。

格子道順ふかしぎ お姉さんといっしょに数えてみよう。をiZ-Cで解きます。------------------------------------------------------aa=5; make && ./kohshi $aa $*1 1 Thu Nov 19 06:13:49 2020QR:0, 0, {0, 1}, {0, 1}, {0..2}, {0..2}, {0..3}, {0..3}, {0…

魔方陣セルの即値化順による計算時間のサンプル調査

魔方陣セルの即値化順による計算時間のサンプル調査 -----------------------------------------------------------------------------tout=3; nn=5; pp="\( \+[0-9]\+\)"; for*1; do printf "%5d" $aa >/dev/pts/40; timeout $tout ./magicsqure_simp $nn 6…