Figure 1:
A Zinc model for the N-queens problem.