Portability | portable |
---|---|
Stability | experimental |
Maintainer | erkokl@gmail.com |
Data.SBV.Examples.Puzzles.NQueens
Description
Solves the NQueens puzzle: http://en.wikipedia.org/wiki/Eight_queens_puzzle
sbv-0.9.24: Symbolic bit vectors: Bit-precise verification and automatic C-code generation.
Portability | portable |
---|---|
Stability | experimental |
Maintainer | erkokl@gmail.com |
Data.SBV.Examples.Puzzles.NQueens
Description
Solves the NQueens puzzle: http://en.wikipedia.org/wiki/Eight_queens_puzzle