2
z3
Z3 é um provador de teoremas da Microsoft Research.
Z3 é um provador de teoremas da Microsoft Research
z3
Local na rede Internet:
https://github.com/Z3Prover/z3Recursos
Categorias
Alternativas ao z3 para Mac
180
172
GNU Octave
O Octave é um programa de computador para realizar cálculos numéricos que são compatíveis com o MATLAB.Faz parte do projeto GNU.
165
R (programming language)
R é um ambiente de software livre para computação e gráficos estatísticos.
140
Mathematica
Sistema de computação técnica definitivo, abrangendo aprendizado de máquina e redes neurais, ciência de dados, visualizações e muito mais.