source: vis_dev/vis-2.1/examples/eight_queens/README @ 12

eight_queens.v:

This example illustrates a reduction of the 8 queens problem to
combinational equivalence checking. In particular, the design
in eight_queens.v computes a 64 input, single output boolean function 
which is true iff the input is a valid positioning of queens
on the chessboard.