A SAT solver for the N-Queens problem, in Java, using the SAT4J API.