2
z3
Z3 je dokaz teorema podjetja Microsoft Research.
- Brezplačna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 je dokaz teorema podjetja Microsoft Research
z3
Spletna stran:
https://github.com/Z3Prover/z3Lastnosti
Kategorije
