Prevajanje problema na SAT

Dodal Janoševo implementacijo prevedbe problemov na SAT
Dodal datoteko sudoku_to_SAT - svojo implementacijo prevedbe problema
sudoku na SAT