A brute-force program on the eight-queens problem.