Portability | portable |
---|---|
Stability | experimental |
Maintainer | erkokl@gmail.com |
Safe Haskell | Safe-Infered |
Data.SBV.Examples.Puzzles.NQueens
Description
Solves the NQueens puzzle: http://en.wikipedia.org/wiki/Eight_queens_puzzle
sbv-2.0: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
Portability | portable |
---|---|
Stability | experimental |
Maintainer | erkokl@gmail.com |
Safe Haskell | Safe-Infered |
Data.SBV.Examples.Puzzles.NQueens
Description
Solves the NQueens puzzle: http://en.wikipedia.org/wiki/Eight_queens_puzzle