Differences

This shows you the differences between two versions of the page.

--- z3 [2025/04/29 21:00] – ppale
+++ z3 [2025/12/01 11:40] (current) – external edit 127.0.0.1
@@ Line 43: / Line 43: @@
 </code>
-Iz prethodnih naredbi može se uočiti da je "string" argument u inicijalizaciji osnovnih tipova, odnosno prvi argument u inicijalizaciji vektorskih tipova ime varijable koja se definira u kontekstu Z3 solver objekta. Ova varijabla je proizvoljna i najčešće je istog naziva kao i Python varijabla ili neka izvedenica naziva Python varijable koja se koristi.
-Drugi argument u naredbi inicijalizacije vektora je dužina vektora, koja je 8 u definiranju bajta kao bit vektora dužine 8. Također mogu se koristiti i druge dužine za definiranje bit vektora.
 ==Definicija ograničenja (uvjeta)==