vadym-f / Sudoku_solvability_proof

efficient proof of solvability with characteristic polynomials

Geek Repo

Github PK Tool