2
z3
Z3 ist ein Theorembeweiser von Microsoft Research.
- Kostenlose
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 ist ein Theorembeweiser von Microsoft Research
z3
Webseite:
https://github.com/Z3Prover/z3Eigenschaften
Kategorien
z3-Alternativen für BSD
172
GNU Octave
Octave ist ein Computerprogramm zur Durchführung numerischer Berechnungen, das hauptsächlich mit MATLAB kompatibel ist.Es ist Teil des GNU-Projekts.
165
R (programming language)
R ist eine freie Softwareumgebung für statistische Berechnungen und Grafiken.
