Sudoku solver in your browser

On this page, you can solve a famous number-placement puzzle Sudoku (数独) using only client-side Javascript.

Load from text area / Save to text area

Result

Log

References and Acknowledgements

• Source code (github)
• Powered by MiniSat and emscripten.
• Special thanks to Mate Soos for writing “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 ソルバで数独を解く方法 - まめめも”.