examples/sat: pomocne triedy na pracu so SAT solverom (python)
examples/nqueens: vzorove riesenie nqueens (python)
cv04: zadanie
cv04: testy (python)
cv04/cv04-test.py: opravene xrange pre python3
cv04/cv04io.py: program, ktory cita zadanie sudoku z stadrd. vstupu
cv04: sudoku.in
examples/sat: c++ kniznica
examples/nqueens: c++
cv04: c++ test
cv04: upraveny python test, aby 'bodoval' rovanko ako cpp

+ posledne 2 testy z cpp
formuly.py zmenene na sudoku.py
examples/sat: python: opravena detekcia cesty k solveru
examples/sat: c++: odfiltrovanie stderr vystupu z minisatu
java tester pre cv04