/sudoku-cbmc

Sudoku cbmc solved withous arrays and matrix

Primary LanguageC

No issues in this repository yet.