Sudoku solver in your browser

This project is a demonstration of solving a famous number-placement puzzle Sudoku (数独) using only client-side Javascript,

• Demo site

Design and Implementation

It is known that Sudoku can be solved efficiently by using SAT solver. And we use the emscripten compiler to compile MiniSat SAT solver into Javascript.

Acknowledgements

Special thanks to Mate Soos for writing “MiniSat in your browser”.

References

• MiniSat.
• emscripten.
• Mate Soos. “MiniSat in your browser”
• I. Lynce, and J. Ouaknine. “Sudoku as a SAT Problem”. Proceedings of the Ninth International Symposium on Artificial Intelligence and Mathematics (AIMATH 2006), Jan. 2006.
• Yusuke Endoh. “SAT ソルバで数独を解く方法 - まめめも”.