SAT


Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

Feed this file into the SAT solver and you'd get back an answer instantly. Now if we were actually doing n-queens, maybe you'd write the clauses for the rows and columns, while I'd write the clauses for the diagonals. (The code for the diagonals is very similar, just messier.) Finally a little bit of code to turn the solved CNF back into a picture of the puzzle.

Name:
Mail: (not shown)

Please type this: