【Helltaker】SAT Solverで解くプログラム書いてみた

Helltakerほとんどしてないけど、Helltaker実況動画(自称)です。GitHub: https://github.com/mohuton/helltaker-solverBGM: https://mittsies.bandcamp.com/album/helltaker-soundtrackTwitter: https://twitter.com/mohuton_ 動画中"SAT問題"で統一してますが、"充足可能性問題"のほうが一般的です。あと、SMTとかCSPでもよかったけどCNFもりもり書きたかったのでSATです。