2
z3
Z3 je dokaz teorema tvrtke Microsoft Research.
- Besplatna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 je dokaz teorema tvrtke Microsoft Research
z3
Web stranica:
https://github.com/Z3Prover/z3Značajke
Kategorije
Alternativa z3u za BSD
172
GNU Octave
Octave je računalni program za izvođenje numeričkih izračuna koji je uglavnom kompatibilan s MATLAB-om.Dio je GNU Projekta.
165
R (programming language)
R je besplatno softversko okruženje za statističko računanje i grafiku.
