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