数独をJavascriptだけで解くページを作った! https://dl.dropboxusercontent.com/u/123796/app/minisat_emscripten_sudoku/index.html 数独はSATソルバで解けるので、SATソルバのMiniSATをemscriptenを使ってJavascriptにコンパイルして実現してる。

自作SATソルバをHasteでコンパイルする手もあったけれど、ちょうどemscripten試してみたかったので、MiniSat + emscripten で。 あと、jQuery初めて使ったけど便利ね。