2
z3
Z3 est un prouveur de théorème de Microsoft Research.
- Gratuite
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 est un prouveur de théorème de Microsoft Research
z3
Site Internet:
https://github.com/Z3Prover/z3Les catégories
Alternatives à z3 pour Windows avec licence commerciale
180
140
Mathematica
Système informatique technique définitif couvrant l'apprentissage automatique et les réseaux de neurones, la science des données, les visualisations et bien plus encore.
