sudokutosat.py : create sudoku.cnf file in DIMACS CNF format. This file can be used as input with a SATsolver. (e.g. minisat, that I used for test)
sattosudoku.py : Use the SATsolver output in DIMACS CNF, to print the sudoku solution in a more human readable way.