2012-05-17から1日間の記事一覧

シークワーズが好きだ。あるいはシークワーズをSugar制約ソルバーで作る

Sugarという制約ソルバーがあります。 という書き出しをこんなに間を置かずに書くとは思っていませんでした。まいなすよんですこんにちは。 カナオレをSugarを使って解いてみる、という試みを前回書きました。 開発元である田村先生のページはこちら。 ニコ…