Figure 2:
The FZM model for the N-queens problem (n=4).
