制約充足

講義資料
→ こちら
プログラム3:AC-1, AC-2, AC-3の実装と実行
→  http://www.ii.ist.i.kyoto-u.ac.jp/?p=1276&lang=ja