GitHub - pathawks/sudoku-smt: Exploring SMT solvers by solving Sudoku puzzles

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
16x16		16x16
9x9		9x9
.gitignore		.gitignore
Makefile		Makefile
splice		splice
sudoku-smt.c		sudoku-smt.c
sudoku16-bv.c		sudoku16-bv.c
sudoku16-int.c		sudoku16-int.c
sudoku16-uffs.c		sudoku16-uffs.c

About

Exploring SMT solvers by solving Sudoku puzzles

sudoku-solver sudoku smtlibv2 smt

Report repository

Releases

No releases published

Packages

No packages published

Languages