%% AGOSTINO DOVIER, MAY 2018

- Compile SUDOKU_SAT.c and VEDISOL.c (standard c files)
- Assume SUDOKU_SAT and VEDISOL are the names of the executable files
- Download and install minisat from http://minisat.se/
- Run:

./SUDOKUSAT input<number>.txt > temp.cnf ; minisat temp.cnf res.txt ; ./VEDISOL res.txt

- Please have a look to intermediate files temp.cnf and res.txt