Automated proof project - A SAT solver for Sudoku
- Ocaml version 4.02.1
- minisat version 2.2.0
From top folder, call:
- "make" to generate binary sudoku-solver
- "make clean" to remove all files generated by make
How to use binary sudoku-solver:
-
option "-sudoku" indicates that a Sudoku grid from is to be read from the command line
-
option "-minisat" uses the minisat solver to solve the Sudoku grid given as argument e.g.: ./sudoku-solver -minisat -sudoku 790304108000006000000080059030000497000000000217000030470010000000700000302609071
-
no option uses our SAT solver instead e.g.: ./sudoku-solver -sudoku 790304108000006000000080059030000497000000000217000030470010000000700000302609071