Pretvorba na SAT - sudoku

Dodal pretvorbo problema sudoku na SAT - NEDOKONČANO!!
Dodal pravo datoteko Janoša - problemi.py
Algoritem DPLL

Dodana datoteka za implementacijo DPLL - še prazna