数独ソルバ
https://mametter.hatenablog.com/entry/20080108/p1
https://tyfkda.github.io/blog/2013/05/17/sudoku-sat.html
https://nitar.hatenablog.com/entry/20080121/p1