/Killer-Sudoku

This is an SAT project that tries to solve killer sudoku with miniSAT under advisor Ric Huang

Primary LanguageC++

No issues in this repository yet.