Karetta|プログラム不要の「制約プログラミング手習い」はじめにリンク情報制約ソルバーのインストールSugarのシンタックスバグ修正情報連環の数２連環の場合文法事始め３連環の場合domain７連環に挑戦差の連環abspredicate覆面算SEND＋MORE＝MONEY人間の解き方CSPで書いてみようweightedsumpredicate鶴亀算鶴亀算鶴亀トンボ算８クイーンチェス盤の用意配列がない斜めの考え方変数の激減策魔方陣サイズ３の魔方陣サイズ４の魔方陣ナンプレまえおきルールを制約へ９×９の標準問題対角線ナンプレクロスサムまえおきルールを制約へ普通サイズの問題ナイト巡回問題ナイト巡回問題とはナイトの動きを制約にするナイトの動きをpredicateで表現５×５を解き終えよう６×６に挑戦閉ループにしよう頑張らない閉ループの確認方法ナイトの動きの素直な表現elementで盤面に変換あかりルール盤面の用意ランプは互いに照らし合わないすべての白マスに
