jel u ZI-u samo gradivo drugog ciklusa kak piše i u uvodnoj prezentaciji?
Olive Oil Da
teoriju iz drugog dijela predavanja (teme: BDD, SAT-rješavači, SMT-rješavači, simboličko izvršavanje programa), uključujući rješavane zadatke i primjere vezane uz neka predavanja (za BDD-ove i SAT-rješavače).