ICFP Programming Contest 2015 の、コマンド列からの最適な文字列の生成を、擬似ブール最適化(Pseudo-Boolean Optimization; PBO) = 0-1整数計画問題 として解くコードを書いた。 https://github.com/msakai/icfpc2015/blob/fe290da5ea7e9f17fae7d76888504e4cf00840fb/src/CommandStringOptimization.hs