/k_n_queens

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

Primary LanguagePython

Stargazers

No one’s star this repository yet.