Brainfuck on SAT solver Posted on 2015/09/08 by Kaede Fujisaki SATソルバーを使ってBrainfuckのプログラムを実行するというネタのLTです。 [全画面/表示されない場合] 詳しくはgithubのリポジトリへ。