floyola / NQueens-SAT Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Solving the N-Queens Problem Using a SAT Solver

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.gitignore		.gitignore
README.md		README.md
propositional.hs		propositional.hs
queens.hs		queens.hs
ra202_Proyecto1.pdf		ra202_Proyecto1.pdf
sat.hs		sat.hs

Repository files navigation

Solving NQueens problem using SAT.

Dependencies

Data.SBV

cabal install sbv-8.6 --lib

Use

ghci sat.hs
*SAT > solveQueens <any number>

About

Solving the N-Queens Problem Using a SAT Solver

haskell nqueens-problem z3 sat-solver propositional-logic automated-reasoning nqueens satisfiability

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%