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 BSD
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.