z3

Z3 es un probador de teoremas de Microsoft Research.

Z3 es un probador de teoremas de Microsoft Research

Alternativas a z3 para Linux

180

Entorno informático de clase empresarial y lenguaje de programación para computación numérica.

172

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 es un entorno de software libre para computación estadística y gráficos.

140

Sistema informático técnico definitivo que abarca el aprendizaje automático y las redes neuronales, ciencia de datos, visualizaciones y mucho más.