vmunoz82 / sudoku-challenge

Solving Sudokus using open source formal verification tools
15Updated 2 years ago

Alternatives and similar repositories for sudoku-challenge:

Users that are interested in sudoku-challenge are comparing it to the libraries listed below