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 lisanslı Mac için z3'a alternatifler
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.
