A PoC project of chibi-sat, which is a toy SAT solver written in Swift.
This repository provides a web site to solve Sudoku by SAT solver.
A PoC project of chibi-sat, which is a toy SAT solver written in Swift.
A PoC project of chibi-sat, which is a toy SAT solver written in Swift.
This repository provides a web site to solve Sudoku by SAT solver.
A PoC project of chibi-sat, which is a toy SAT solver written in Swift.
https://kateinoigakukun.github.io/sudoku-solver/index.html