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