SAT solverで「数独」「美術館」「ひとりにしてくれ」を解きました。Githubにあげました。めっちゃ楽しかったので準急に多謝だー。（JOI春合宿で講義をしてくれた） 準備 SAT solverをインストールしましょう。僕はminisatにしました。（なんか入れるのに苦…