GitHub - damelang/sdk2cnf: Reduces sudoku puzzles to CNF formulae

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
16x16-easy-SOLVED.sdk		16x16-easy-SOLVED.sdk
16x16-easy.sdk		16x16-easy.sdk
16x16-hard-SOLVED.sdk		16x16-hard-SOLVED.sdk
16x16-hard.sdk		16x16-hard.sdk
16x16-medium-SOLVED.sdk		16x16-medium-SOLVED.sdk
16x16-medium.sdk		16x16-medium.sdk
25x25-easy-SOLVED.sdk		25x25-easy-SOLVED.sdk
25x25-easy.sdk		25x25-easy.sdk
25x25-hard-SOLVED.sdk		25x25-hard-SOLVED.sdk
25x25-hard.sdk		25x25-hard.sdk
25x25-medium-SOLVED.sdk		25x25-medium-SOLVED.sdk
25x25-medium.sdk		25x25-medium.sdk
4x4-SOLVED.sdk		4x4-SOLVED.sdk
4x4-UNSATISFIABLE.sdk		4x4-UNSATISFIABLE.sdk
4x4.sdk		4x4.sdk
9x9-easy-SOLVED.sdk		9x9-easy-SOLVED.sdk
9x9-easy.sdk		9x9-easy.sdk
9x9-hard-SOLVED.sdk		9x9-hard-SOLVED.sdk
9x9-hard.sdk		9x9-hard.sdk
9x9-medium-SOLVED.sdk		9x9-medium-SOLVED.sdk
9x9-medium.sdk		9x9-medium.sdk
9x9-very-easy-SOLVED.sdk		9x9-very-easy-SOLVED.sdk
9x9-very-easy.sdk		9x9-very-easy.sdk
MIT-LICENSE		MIT-LICENSE
Makefile		Makefile
README		README
TODO		TODO
run		run
run-2		run-2
run_all		run_all
run_all-2		run_all-2
sdk2cnf-2.hs		sdk2cnf-2.hs
sdk2cnf.hs		sdk2cnf.hs
sol2sdk-2.hs		sol2sdk-2.hs
sol2sdk.hs		sol2sdk.hs

Repository files navigation

sdk2cnf: Reduces sudoku puzzles to CNF formulae.

Build Instructions
---

Must have GHC installed: http://www.haskell.org/ghc/download.html
Run "make".

Running
---

sdk2cnf < YOUR_PUZZLE.sdk | YOUR_SAT_SOLVER | sol2sdk

Testing
---

Use the "run" script. Example:

run 9x9-hard
(requires the presence of the files 9x9-hard.sdk and 9x9-hard-SOLVED.sdk)

No output means the test passed. Otherwise, a "diff" is displayed.