Mac OS X 10.7.5でLLVM→JavaScriptコンパイラのemscriptenを試そうとしたのだけど、以下のようなエラーと、Pythonが予期せず終了したというダイアログが出て、うまくいかなかった。

WARNING  root: Could not verify LLVM version: list index out of range
WARNING  root: could not check fastcomp: need more than 1 value to unpack
INFO     root: (Emscripten: Running sanity checks)
WARNING: sanity check failed to run list index out of range
ERROR    root: compiler frontend failed to generate LLVM bitcode, halting

MiniSat in your browser を自分でも試してみようと思ったのだけれど……他の環境で試してみるか?