2
z3
Z3 es un probador de teoremas de Microsoft Research.
Z3 es un probador de teoremas de Microsoft Research
z3
Sitio web:
https://github.com/Z3Prover/z3Caracteristicas
Categorias
Alternativas a z3 para Mac
180
172
GNU Octave
Octave es un programa de computadora para realizar cálculos numéricos que es principalmente compatible con MATLAB.Es parte del Proyecto GNU.
165
R (programming language)
R es un entorno de software libre para computación estadística y gráficos.
140
Mathematica
Sistema informático técnico definitivo que abarca el aprendizaje automático y las redes neuronales, ciencia de datos, visualizaciones y mucho más.