MiniSat in your browser http://www.msoos.org/2013/09/minisat-in-your-browser/ おぉ~