2
z3
Z3 es un probador de teoremas de Microsoft Research.
Z3 es un probador de teoremas de Microsoft Research
Sitio web:
https://github.com/Z3Prover/z3Caracteristicas
Categorias
Alternativas a z3 para Mac con licencia comercial
180
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.