sudoku_sat_solver

1. Download sudoku.cpp

2. Install minisat from: http://minisat.se/downloads/minisat-2.2.0.tar.gz

3. extract using: tar-xvzf minisat-2.2.0.tar.gz

4. move sudoku.cpp to /minisat/core

5. Compile sudoku.cpp with gcc: g++-7 sudoku.cpp -o sud

6. Execute: ./sud

NOTE: Sample given will be stored in a file called input.txt, while output will be stored in a generated file called output.txt

Tested on Linux Mint 18.2 "Sonya" - Cinnamon (64-bit)