2016-03-23 SAT Solver で色々な問題を解けるらしい。 授業で勉強して色々と試したいと思いながらもまだ何も試せていない。 でも、こういうのが出来るっていうのは自分の引き出しの中に入れておきたい。 ダイクストラ法とか勉強したことない、非情報出身としては面白かった。 d.hatena.ne.jp 数独解法プログラム 数独の解の見つけ方 | Miga's Hobby Programming