it-rico/Killer-Sudoku
This is an SAT project that tries to solve killer sudoku with miniSAT under advisor Ric Huang
C++
No issues in this repository yet.
This is an SAT project that tries to solve killer sudoku with miniSAT under advisor Ric Huang
C++
No issues in this repository yet.