Yet Another Sudoku

use the satisfiability(SAT) solver to solve a Sudoku puzzle

Usage

go run .

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
data		data
sat		sat
ui		ui
README.md		README.md
go.mod		go.mod
main.go		main.go