ObviouslyLuuk/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.
Python
Stargazers
No one’s star this repository yet.
Solves the k-n-queens problem of fitting k queens on an nxn board. Uses CNF with worst case n^3 clauses.
Python
No one’s star this repository yet.