Implementation of n x n SAT Sudoku solver using minisat based on the paper by Inês Lynce and Jöel Ouaknine called Sudoku as a SAT Problem https://people.mpi-sws.org/~joel/publications/sudoku05.pdf.
To run this project you need a docker engine running on your machine.
Build docker image by typing the following command :
docker image build . -t sudoku
Run the container
docker container run -v /home:/home -it sudoku
- Zakaria Maaraki - Initial work - zakariamaaraki