Data.SBV.Examples.Puzzles.NQueens
type
Solution
isValid
nQueens