2
z3
Z3 é um provador de teoremas da Microsoft Research.
Z3 é um provador de teoremas da Microsoft Research
Local na rede Internet:
https://github.com/Z3Prover/z3Recursos
Categorias
Alternativas ao z3 para todas as plataformas com licença comercial
180
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.