z3

z3

Z3 je dokaz teorema podjetja Microsoft Research.
Z3 je dokaz teorema podjetja Microsoft Research
z3

Alternativa z3u za iPhone z licenco odprtokodnega vira