2

z3

Z3 je dokaz teorema tvrtke Microsoft Research.

Z3 je dokaz teorema tvrtke Microsoft Research

Web stranica:

https://github.com/Z3Prover/z3

Značajke

Kategorije

Obrazovanje i referenca

Alternativa z3u za Web sa licencom otvorenog koda