2020-08-01から1ヶ月間の記事一覧
Tutorial Sgn定義は誤りだろう。-----------------------------------------------------------------------------CSint *Sgn(CSint *vint){int n = 0;int array[3];CSint *s;if (cs_getMin(vint) < 0)array[n++] = -1;if (cs_getMax(vint) > 0)array[n++] =…
魔方陣を制約論理プログラム iZ-Cを使って技巧的に解きます。-----------------------------------------------------------------------------make && ./magicsqure_simp 4 |lessSun Aug 23 07:03:24 2020{0..13}, {0..15}, {0..15}, {1..14}, {0..15}, {0.…
覆面算を制約論理プログラム iZ-Cを使って解きます。 -------------------------------------------------------------------------------------iZ-Cチュートリアルにある覆面算を短く改編しました。積和演算cs_ScalProdで自動変数が無効になることに気づか…
論理的関係制約を制約論理プログラム iZ-Cを使って表現します。 -------------------------------------------------------------------------------------制約変数xiが{1,0}である場合、論理関数は次のように制約を設定することができます。 NOT cs_EQ(cs_R…
整数の集合をほぼ等しく制約論理プログラム iZ-Cを使って分割します。 ------------------------------------------------------------------------------------- make && time ./int_div 3 $(primes 1 53)make: 'all' に対して行うべき事はありません. 15 3…
足してN、掛けて最大値の正の整数の組み合わせを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------./int_part 15Tue Aug 4 12:08:12 2020QR:{0..15}, {0..15}, {0..15}, {0..15}, {0…
