party.cpp: ukazkovy program v cpp, ktory spusta SAT solver
zadanie druheho cvicenia
linka na druhe cvicenie
cv02: Party priklad v Pythone