Turns the NQueens problem into a CNF logic problem and solves
Primary LanguageC++
No issues in this repository yet.