2
z3
Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır.
- Ücretsiz
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır
z3
İnternet sitesi:
https://github.com/Z3Prover/z3Özellikleri
Kategoriler
Ticari lisansa sahip tüm platformlar için z3 alternatifleri
180
140
Mathematica
Makine öğrenimi ve sinir ağları, veri bilimi, görselleştirmeler ve çok daha fazlasını kapsayan kesin teknik bilgi işlem sistemi.