2
z3
Z3 е доказател на теоремата от Microsoft Research.
- Безплатно
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 е доказател на теоремата от Microsoft Research
z3
WebSite:
https://github.com/Z3Prover/z3Характеристика
Категории
Алтернативи на z3 за всички платформи с търговски лиценз
180
140
Mathematica
Окончателна техническа изчислителна система, обхващаща машинно обучение и невронни мрежи, наука за данни, визуализации и много други.