Solving NQueens problem using SAT. Dependencies Data.SBV cabal install sbv-8.6 --lib Use ghci sat.hs *SAT > solveQueens <any number>