vadym-f/Sudoku_solvability_proof

efficient proof of solvability with characteristic polynomials

C++