MIS.W 公式ブログ

早稲田大学公認、情報系創作サークル「早稲田大学経営情報学会」(MIS.W)の公式ブログです!

2020-04-11から1日間の記事一覧

SATソルバー(Sugar制約ソルバー)を使ってペンシルパズルを解く 〜数独編〜【新歓ブログリレー2020 11日目】

皆さんこんにちは!53代のshiro(@shiro537)と申します。 趣味は競技プログラミング・アニメ鑑賞・読書です。 一応プログラミング研究会に所属しています。 新歓ブログリレー11日目ということで、今日は(ニコリの)ペンシルパズルをパソコンで解く話をしたいと…