/sudoku-cbmc

Sudoku cbmc solved withous arrays and matrix

Primary LanguageC

Stargazers