2
z3
Z3 je dokaz teorema tvrtke Microsoft Research.
- Besplatna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 je dokaz teorema tvrtke Microsoft Research
z3
Web stranica:
https://github.com/Z3Prover/z3Značajke
Kategorije
Alternativa z3u za Web
180
140
Mathematica
Definitivan tehnički računalni sustav koji obuhvaća strojno učenje i neuronske mreže, znanost o podacima, vizualizacije i još mnogo toga.
41
0
Solve My Math
Brzo i mrežno dobijte pomoć iz matematike s više od stotinu trenutačnih, pa čak i korak po korak matematičkih rješenja i kalkulatora osmišljenih da vam pomognu riješiti matematičke probleme i razumjeti koncepte koji stoje iza njih !.
- Besplatna
- Web