Examples.NQueens

Click Source on a function to see how it's implemented!

Documentation

type Coord = (Int, Int)

A board coordinate

constrainQueens :: Int -> Prop [PVar Set Coord]

Given a number of queens, constrain them to not overlap

overlapping :: Coord -> Coord -> Bool

Check whether two queens overlap with each other (i.e. could kill each other)

showSolution :: Int -> [Coord] -> String

Print an nQueens puzzle to a string.

nQueens :: Int -> IO ()

Solve and print an N-Queens puzzle

nQueensAll :: Int -> IO ()

Solve and print all possible solutions of an N-Queens puzzle This will include duplicates.