Implementacija prevedb odlocitvnreih problemov na SAT je zdaj v prevedbe.py