2013年08月15日

SMTソルバでプログラムを作る

ICFP programming contest 2013に参加していました(よくわかる解説)。チームの成績は戦略ミスなどもあって散々だったのですが、ちょっと変わったアプローチで問題に取り組んだと思うので、自分のチームのアプローチを紹介しておきます。リポジトリはこちら

続きを読む
posted by chun at 02:55| 日記