z3

z3

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

Alternativa z3u za Android sa licencom otvorenog koda