Simple SAT solver for the n-queens problem. Just input the number of queens, voilà!
DIMACS CNF formula
Output