a Java nQueens problem solver. nQueens problem is reduced to SAT problem, which is solved using Sat4j.