:- nqueens(Rs) <<< n_queens(17,Rs), labeling_zs([ff],Rs).

-----         n599 ------------------------

The following animations can be viewed with the help of a postscript viewer like ghostscript. Unfortunately, the Adobe Previewer is not capable of displaying the actual animation. On most viewers it is possible to enlarge the window to fill the screen.

Download the file and run them with

zcat l5.eps.gz | ghostscript -

• N=17 showing the first seven solutions (on different pages) with
  • simple labeling 18K (171K)
  • first failure labeling 5K (22K)
  • a specific labeling 3K (10K) (as proposed in A. Ertl, Coroutining und Constraints in der Logik-Programmierung)
• N=50 showing the first solution
  • simple labeling (incomplete!) 30K (400K), longplay 640K (11M)
  • first failure labeling 17K (80K)
  • first failure, most constrained first labeling 12K (40K)
  • a specific labeling 13K (43K)