Solves the k-n-queens problem of fitting k queens on an nxn board. Uses CNF with worst case n^3 clauses.
Primary LanguagePython