Data.SBV.Examples.Puzzles.NQueens

type Solution

isValid

nQueens